×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 76-91 (2015).
MSC:  03B40
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software