Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (LECTURE NOTES IN COMP)

Netherlands

by Henk Barendregt

Paperback

ISBN: 978-0-387-58085-2

ISBN-10: 0-387-58085-9

Springer Verlag · 1994
See also:
2008TaschenbuchTypes for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, Band 806)