Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers

zbMATH Open0898.00024MaRDI QIDQ1270497

Author name not available (Why is that?)

Publication date: 21 October 1998

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

zbMATH Keywords

WorkshopSelected papersProofsAussois (France)ProgramsTYPES '96

Mathematics Subject Classification ID

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

Related Items (5)

TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers ⋮ Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers ⋮ Title not available (Why is that?) ⋮ Types for proofs and programs. 3rd international workshop, TYPES '99, Lökeberg, Sweden, June 12--16, 1999. Selected papers ⋮ Title not available (Why is that?)

Uses Software

• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers 👍 👎
• Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24--28, 2002. Selected papers 👍 👎
• Types for proofs and programs. 3rd international workshop, TYPES '99, Lökeberg, Sweden, June 12--16, 1999. Selected papers 👍 👎
• Types for proofs and programs. International workshop, TYPES 2000, Durham, GB, December 8--12, 2000. Selected papers 👍 👎
• Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers 👍 👎
• Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers 👍 👎
• Types for proofs and programs. International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994. Selected papers 👍 👎
• Types for proofs and programs. International workshop, TYPES 2006, Nottingham, UK, April 18--21, 2006. Revised selected papers. 👍 👎
• Types for proofs and programs. International workshop, TYPES 2004, Jouy-en-Josas, France, December 15--18, 2004. Revised selected papers 👍 👎

This page was built for publication: Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers

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