Skip to main content
TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 20TH 2014. (TYPES'14)
- Item #:
- 028332
- UPC:
Details
-
Title:
20th International Conference on Types for Proofs and Programs (TYPES'14)
-
Date/Location:
Held 12-15 May 2014, Paris, France.
-
Series:
Leibniz International Proceedings in Informatics Volume 39
-
Editor:
Herbelin, H. et al.
-
ISBN:
9781510814523
-
Pages:
307 (1 Vol)
-
Format:
Softcover
-
TOC Link:
View Table of Contents
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Jan 2016 )
-
Title:
20th International Conference on Types for Proofs and Programs (TYPES'14)
-
Date/Location:
Held 12-15 May 2014, Paris, France.
-
Series:
Leibniz International Proceedings in Informatics Volume 39
-
Editor:
Herbelin, H. et al.
-
ISBN:
9781510814523
-
Pages:
307 (1 Vol)
-
Format:
Softcover
-
TOC Link:
View Table of Contents
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Jan 2016 )