Skip to main content
TYPED LAMBDA CALCULI AND APPLICATIONS. INTERNATIONAL CONFERENCE. 13TH 2015. (TLCA 15)
- Item #:
- 027385
- UPC:
Details
-
Title:
13th International Conference on Typed Lambda Calculi and Applications 2015 (TLCA 15)
-
Date/Location:
Held 1-3 July 2015, Warsaw, Poland.
-
Series:
Leibniz International Proceedings in Informatics Volume 38
-
Editor:
Altenkirch, T.
-
ISBN:
9781510809758
-
Pages:
346 (1 Vol)
-
Format:
Softcover
-
TOC Link:
View Table of Contents
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Oct 2015 )
-
Title:
13th International Conference on Typed Lambda Calculi and Applications 2015 (TLCA 15)
-
Date/Location:
Held 1-3 July 2015, Warsaw, Poland.
-
Series:
Leibniz International Proceedings in Informatics Volume 38
-
Editor:
Altenkirch, T.
-
ISBN:
9781510809758
-
Pages:
346 (1 Vol)
-
Format:
Softcover
-
TOC Link:
View Table of Contents
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Oct 2015 )