×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
Ronchi della Rocca, Simona (ed.), Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73227-3/pbk). Lecture Notes in Computer Science 4583, 336-350 (2007).
MSC:  03F05 03B40
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software