| |
|
| Artikel-Nr.: 5667A-9783540185086 Herst.-Nr.: 9783540185086 EAN/GTIN: 9783540185086 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | David H. Pitt; Axel Poigne; David E. Rydeheard | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: categorytheory; Hardware; algorithms; calculus; computerscience; logic, Category theory, Computer, Hardware, algorithms, calculus, computer science, logic |
| | |
| |