Alpha-structural recursion and induction (2006)

Cached

Download Links

by Andrew M. Pitts
Venue:Journal of the ACM
Citations:48 - 6 self

Active Bibliography

6 Alpha-structural recursion and induction (Extended Abstract) – Andrew M. Pitts - 2005
Theory—Syntax; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—Algebraic – Andrew M. Pitts
Names and Binding in Type Theory – unknown authors
Nominal Logic and Abstract Syntax 1 – Riccardo Pucella, James Cheney
176 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
6 Nominal System T – Andrew M. Pitts - 2010
153 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
The Australian National University – Alwen Tiu, Dale Miller
481 Domain Theory – Samson Abramsky, Achim Jung - 1994