Searching for "Alpha-Structural Recursion and Induction." – 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.

Alpha-structural recursion and induction
by Andrew M. Pitts — 2006 — Journal of the ACM
…Alpha-Structural Recursion and Induction Andrew M. Pitts Cambridge University Computer Laboratory…
Cited by 22 (3 self) – Add To MetaCart

Alpha-structural recursion and induction (extended abstract
by Andrew M. Pitts — 2005 — Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford UK, August 2005, Proceedings, volume 3603 of Lecture Notes in Computer Science
…-Verlag Berlin Heidelberg 2005 Alpha-Structural Recursion and Induction (Extended Abstract) Andrew M. Pitts…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 2.

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