Vai al contenuto principale della pagina
Titolo: |
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 |
Opac: | Controlla la disponibilità qui |