Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings. 1st ed. 1987

種類:

電子ブック

責任表示:

edited by David H. Pitt, Axel Poigne, David E. Rydeheard

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987

著者名:

• Pitt, David H.
• Poigne, Axel.
• Rydeheard, David E.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 283

ISBN:

9783540480068 [3540480064]    

注記:

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.

ローカル注記:

学内専用E-BOOKS (local access only)