Searching for "Type Isomorphisms and Proof Reuse in Dependent Type Theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Type Isomorphisms and Proof Reuse in Dependent Type Theory
by Gilles Barthe, Olivier Pons — 2001
…Type Isomorphisms and Proof Reuse in Dependent Type Theory Gilles Barthe 1 and Olivier Pons 2 1…
Cited by 9 (0 self) – Add To MetaCart

Annual Site Reports 2001
by For The Types, Uniwersytet W Biaymstoku (pol, Chalmers Tekniska Hgskola (sweden — 2001
… to ETAPS'01, held in Genova, to present the paper "Type Isomorphisms and Proof Reuse in Dependent Type…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB