Searching for "A Logical Framework with Dependently Typed Records." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

A logical framework with dependently typed records
by Thierry Coquand Randy Pollack — 2003 — In Proceedings of TLCA 2003, volume 2701 of LNCS
… A Logical Framework with Dependently Typed Records? Thierry Coquand 1 , Randy Pollack 2…
Cited by 15 (2 self) – Add To MetaCart

unknown title
by unknown authors
….v8. 2 T. Coquand, R. Pollack, M. Takeyama / A Logical Framework with Dependently Typed Records…
Add To MetaCart

Nationality: Japanese Positions:
by First Name Makoto — 1991
… Notes in Computer Science, vol. ??, to appear. 3. A Logical Framework with Dependently Typed Records…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB