13th International Conference on Typed Lambda Calculi and Applications - TLCA 2015
Book title Buchtitel
13th International Conference on Typed Lambda Calculi and Applications - TLCA 2015
ISBN
978-3-939897-87-3
Editor Herausgeber_in
Publisher Herausgeber
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Place of publishing Erscheinungsort
Dagstuhl
Dagstuhl, Deutschland
Dagstuhl, Deutschland
Volume Band
38
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).