Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers
From MaRDI portal
Publication:1819249
DOI10.1007/3-540-48167-2zbMATH Open0929.00065OpenAlexW4210723206MaRDI QIDQ1819249
No author found.
Publication date: 6 January 2000
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-48167-2
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 (6)
TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers ⋮ Algebraic Methods for Granular Rough Sets ⋮ Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers ⋮ Unnamed Item ⋮ Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers ⋮ Types for proofs and programs. 3rd international workshop, TYPES '99, Lökeberg, Sweden, June 12--16, 1999. Selected papers
This page was built for publication: Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers
