Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997

DOI10.2969/msjmemoirs/002010000zbMath0919.00041OpenAlexW1569027294MaRDI QIDQ1282455

No author found.

Publication date: 7 April 1999

Published in: MSJ Memoirs (Search for Journal in Brave)

Full work available at URL: http://projecteuclid.org/euclid.msjm/1389985695

zbMATH Keywords

ProceedingsWorkshopTokyo (Japan)ProofsTypes

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)

This page was built for publication: Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997