Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers

DOI10.1007/3-540-61780-9zbMath0852.00045OpenAlexW4294254159MaRDI QIDQ1815797

No author found.

Publication date: 19 November 1996

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61780-9

zbMATH Keywords

ProceedingsWorkshopTorino (Italy)ProofsTypesPrograms

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (3)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ \(\pi\)-calculus in (Co)inductive-type theory ⋮ MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS

This page was built for publication: Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers