Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008764062/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog contributor b12282958.
- catalog contributor b12282959.
- catalog contributor b12282960.
- catalog contributor b12282961.
- catalog contributor b12282962.
- catalog created "c1998.".
- catalog date "1998".
- catalog date "c1998.".
- catalog dateCopyrighted "c1998.".
- catalog description "A primer on proofs and types / Masako Takahashi -- Intersection types, [lambda]-models, and Böhm trees / Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Ugo de'Liguoro -- Syntax and semantics of type assignment systems / Hirofumi Yokouchi -- Inference based analyses of functional programs : dead-code and strictness / Mario Coppo, Ferruccio Damiani, and Paola Giannini -- Constructivization via approximations and examples / Stefano Baratella and Stefano Berardi -- Proof-theoretic methods in nonclassical logic : an introduction / Hiroakira Ono -- An introduction to linear logic : expressiveness and phase semantics / Mitsuhiro Okada.".
- catalog description "Includes bibliographical references (p. 293-295).".
- catalog extent "vii, 295 p. :".
- catalog hasFormat "Theories of types and proofs.".
- catalog identifier "4931469027".
- catalog isFormatOf "Theories of types and proofs.".
- catalog isPartOf "MSJ memoirs ; v. 2".
- catalog issued "1998".
- catalog issued "c1998.".
- catalog language "eng".
- catalog publisher "Tokyo : Mathematical Society of Japan,".
- catalog relation "Theories of types and proofs.".
- catalog subject "Proof theory.".
- catalog subject "QA9 .T37 1998".
- catalog subject "Type theory.".
- catalog tableOfContents "A primer on proofs and types / Masako Takahashi -- Intersection types, [lambda]-models, and Böhm trees / Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Ugo de'Liguoro -- Syntax and semantics of type assignment systems / Hirofumi Yokouchi -- Inference based analyses of functional programs : dead-code and strictness / Mario Coppo, Ferruccio Damiani, and Paola Giannini -- Constructivization via approximations and examples / Stefano Baratella and Stefano Berardi -- Proof-theoretic methods in nonclassical logic : an introduction / Hiroakira Ono -- An introduction to linear logic : expressiveness and phase semantics / Mitsuhiro Okada.".
- catalog title "Theories of types and proofs / Masako Takahashi, Mitsuhiro Okada, Mariangiola Dezani-Ciancaglini (Eds.).".
- catalog type "text".