×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Miculan, Marino (ed.) et al., Types for proofs and programs. International conference, TYPES 2007, Cividale des Friuli, Italy, May 2–5, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-68084-0/pbk). Lecture Notes in Computer Science 4941, 100-109 (2008).
MSC:  03B05 03B20
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software