Skip to main content
TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 26TH 2020. (TYPES 2020)
- Item #:
- 059725
- UPC:
Details
-
Title:
26th International Conference on Types for Proofs and Programs (TYPES 2020)
-
Date/Location:
Held 2-5 March 2020, Turin, Italy.
-
Series:
Leibniz International Proceedings in Informatics Volume 188
-
Editor:
De'Liguoro, U. et al.
-
ISBN:
9781713832492
-
Pages:
208 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Jul 2021 )
-
Title:
26th International Conference on Types for Proofs and Programs (TYPES 2020)
-
Date/Location:
Held 2-5 March 2020, Turin, Italy.
-
Series:
Leibniz International Proceedings in Informatics Volume 188
-
Editor:
De'Liguoro, U. et al.
-
ISBN:
9781713832492
-
Pages:
208 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Jul 2021 )