Category Theory and Computer Science [[electronic resource] ] : Edinburgh, UK, September 7-9, 1987. Proceedings / / edited by David H. Pitt, Axel Poigne, David E. Rydeheard

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987
• Edizione: 1st ed. 1987.
• Descrizione fisica: 1 online resource (VIII, 304 p.)
• Disciplina: 514
• Soggetto topico: Topology; Computer logic; Mathematical logic; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations
• Persona (resp. second.): PittDavid (David H.); PoigneAxel; RydeheardDavid E
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Titolo autorizzato: Category theory and computer science
• ISBN: 3-540-48006-4
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465797603316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 283