---

＜電子ブック＞
Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings / edited by David H. Pitt, Axel Poigne, David E. Rydeheard
(Lecture Notes in Computer Science. ISSN:16113349 ; 283)

版	1st ed. 1987.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1987
本文言語	英語
大きさ	VIII, 304 p : online resource
著者標目	Pitt, David H editor Poigne, Axel editor Rydeheard, David E editor SpringerLink (Online service)
件　名	LCSH:Topology LCSH:Computer science LCSH:Machine theory LCSH:Mathematical logic FREE:Topology FREE:Computer Science Logic and Foundations of Programming FREE:Formal Languages and Automata Theory FREE:Mathematical Logic and Foundations
一般注記	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 HTTP:URL=https://doi.org/10.1007/3-540-18508-9

 類似資料