DMCA

Modelling General Recursion in Type Theory (2002)

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