×

zbMATH — the first resource for mathematics

Found 60 documents (Results 1–60)

Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26--28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 236-249 (2013).
MSC:  03B40 68N18
BibTeX Cite
Full Text: DOI
WorldCat.org
Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26--28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 221-235 (2013).
MSC:  03B40 68N18
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter results by …

Reviewing State
Author
Journal
Classification
Publication Year
Software