×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–3)

Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 84-106 (2014).
MSC:  68N18 68P10 68T15
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Biographic Reference
Software