Modelling General Recursion in Type Theory (2002)

Cached

Download Links

by Ana Bove , Venanzio Capretta
Venue:Mathematical Structures in Computer Science
Citations:38 - 6 self