단행본 상세

서지주요정보
Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings
서명 / 저자 Category Theory and Computer Science [electronic resource] : Edinburgh, UK, September 7-9, 1987. Proceedings / edited by David H. Pitt, Axel Poigne, David E. Rydeheard.
저자명 Pitt, David H. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Poigne, Axel. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Rydeheard, David E. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 1987.
발행사항 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 283
Online Access https://doi.org/10.1007/3-540-... URL

서지기타정보

서지기타정보
ISBN 9783540480068
기타 표준번호 10.1007/3-540-18508-9
청구기호 QA611-614.97
형태사항 VIII, 304 p. online resource.
언어 English
내용 Categories and effective computations -- Polymorphism is set theoretic, constructively -- An equational presentation of higher order logic -- Enriched categories for local and interaction calculi -- The category of Milner processes is exact -- Relating two models of hardware -- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms -- A typed lambda calculus with categorical type constructors -- Final algebras, cosemicomputable algebras, and degrees of unsolvability -- Good functors ... are those preserving philosophy! -- Viewing implementations as an institution -- An interval model for second order lambda calculus -- Logical aspects of denotational semantics -- Connections between partial maps categories and tripos theory -- A fixpoint construction of the p-adic domain -- A category of Galois connections.
주제 Topology.
Computer science.
Machine theory.
Mathematical logic.
Topology.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783662197127 Printed edition: 9783540185086
QR CODE