Searching for "Inductive types in the Calculus of Algebraic Constructions." – 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.

Inductive Types in the Calculus of Algebraic Constructions
by Frederic Blanqui, Loria Inria — 2005
… distinct from a product, F. Blanqui / Inductive types in the Calculus of Algebraic Constructions 7 – every…
Cited by 10 (4 self) – Add To MetaCart

The Calculus of Algebraic Constructions
by Frédéric Blanqui — 1999 — In Proc. of the 10th Int. Conf. on Rewriting Techniques and Applications, LNCS 1631
…(x,t) the set ofF. Blanqui / Inductive types in the Calculus of Algebraic Constructions 5 Figure 1. Typing rules…
Cited by 21 (9 self) – Add To MetaCart

Showing 1 through 2.

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