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

DOI10.1007/3-540-61780-9zbMATH Open0852.00045OpenAlexW4294254159MaRDI QIDQ1815797FDOQ1815797

Author name not available (Why is that?)

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)ProgramsProofsTypes

Mathematics Subject Classification ID

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

Cited In (9)

• MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
• Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers
• Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers
• TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers
• Types for proofs and programs. 3rd international workshop, TYPES '99, Lökeberg, Sweden, June 12--16, 1999. Selected papers
• \(\pi\)-calculus in (Co)inductive-type theory
• Title not available (Why is that?)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815797)