Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science (806), Band 806)

Netherlands

von: Tobias Nipkow · Henk Barendregt

Taschenbuch

ISBN-13: 978-3-540-58085-0

ISBN-10: 3-540-58085-9

Springer · 2008
Siehe auch:
1994PaperbackTypes for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (LECTURE NOTES IN COMP)