TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers

DOI10.1007/3-540-58085-9zbMath0825.00120OpenAlexW2478893749MaRDI QIDQ1327718

No author found.

Publication date: 28 June 1994

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

Full work available at URL: https://doi.org/10.1007/3-540-58085-9

zbMATH Keywords

WorkshopNijmegen (NL)TYPES '93Types for proofs and programs

Mathematics Subject Classification ID

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

Related Items (1)

On second order intuitionistic propositional logic without a universal quantifier

This page was built for publication: TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers