×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
GimĂ©nez, Eduardo (ed.) et al., Types for proofs and programs. International workshop TYPES ’96, Aussois, France, December 15–19, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1512, 317-332 (1998).
MSC:  03B35 03B40 68T15
PDF BibTeX XML Cite

Filter Results by …

Year of Publication
Classification
all top 3
Software