×

Found 3 Documents (Results 1–3)

Manifest fields and module mechanisms in intensional type theory. (English) Zbl 1246.68092

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, 237-255 (2009).
MSC:  68N19 03B15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Author

Year of Publication

Main Field

all top 3

Software