Types for proofs and programs. 3rd international workshop, TYPES '99, Lökeberg, Sweden, June 12--16, 1999. Selected papers

zbMATH Open0953.00042MaRDI QIDQ1591869

Author name not available (Why is that?)

Publication date: 10 January 2001

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

zbMATH Keywords

WorkshopSelected papersTypes for programsTypes for proofsLökeberg (Sweden)TYPES '99

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 (3)

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 ⋮ Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers

Uses Software

• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. 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. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24--28, 2002. 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. 👍 👎

This page was built for publication: Types for proofs and programs. 3rd international workshop, TYPES '99, Lökeberg, Sweden, June 12--16, 1999. Selected papers

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