Searching for "On the Role of Type Decorations in the Calculus of Inductive Constructions." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

On the role of type decorations in the Calculus of Inductive Constructions
by Bruno Barras, Benjamin Gregoire — 2005 — Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic, volume 3634 of Lecture Notes in Computer Science
…On the role of type decorations in the Calculus of Inductive Constructions Bruno Barras 1…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 1.

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