Skip to main content
TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 21ST 2015. (TYPES 2015)
- Item #:
- 039711
- UPC:
Details
-
Title:
21st International Conference on Types for Proofs and Programs (TYPES 2015)
-
Date/Location:
Held 18-21 May 2015, Tallinn, Estonia.
-
Series:
Leibniz International Proceedings in Informatics Volume 69
-
Editor:
Uustalu, T.
-
ISBN:
9781510863798
-
Pages:
248 (1 Vol)
-
Format:
Softcover
-
TOC Link:
View Table of Contents
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Jun 2018 )
-
Title:
21st International Conference on Types for Proofs and Programs (TYPES 2015)
-
Date/Location:
Held 18-21 May 2015, Tallinn, Estonia.
-
Series:
Leibniz International Proceedings in Informatics Volume 69
-
Editor:
Uustalu, T.
-
ISBN:
9781510863798
-
Pages:
248 (1 Vol)
-
Format:
Softcover
-
TOC Link:
View Table of Contents
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Jun 2018 )