×

zbMATH — the first resource for mathematics

Found 11 Documents (Results 1–11)

100
MathJax
Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 76-90 (2011).
MSC:  03F05
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 169-185 (2009).
MSC:  03F05 03B35
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, M. (ed.) et al., Proceedings of the second workshop on logical and semantic frameworks, with applications (LSFA 2007), Ouro Preto, Brazil, August 28–29, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 205, 137-144 (2008).
MSC:  03F05 03C98
PDF BibTeX XML Cite
Full Text: DOI