×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–17)

100
MathJax
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, 289-305 (2009).
MSC:  68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI