TY  - BOOK
AU  - Pitt,David H.
AU  - Poigné,Axel
AU  - Rydeheard,David E.
ED  - SpringerLink (Online service)
TI  - Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540480068
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 1987///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Logic design
KW  - Logic, Symbolic and mathematical
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Mathematical Logic and Foundations
N1  - 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
UR  - http://dx.doi.org/10.1007/3-540-18508-9
ER  -