Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24--28, 2002. Selected papers

DOI10.1007/978-3-540-74464-1zbMATH Open1019.00007OpenAlexW4300362878MaRDI QIDQ1408067

Author name not available (Why is that?)

Publication date: 15 September 2003

Published in: (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2646.htm

zbMATH Keywords

No records found.

Mathematics Subject Classification ID

No records found.

This page was built for publication: Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24--28, 2002. Selected papers

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