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