Monadic Presentations of Lambda Terms Using Generalized Inductive Types (1999)

Cached

Download Links

by Thorsten Altenkirch , Bernhard Reus
Venue:In Computer Science Logic
Citations:77 - 15 self