Simple General Recursion in Type Theory (2000)

Cached

Download Links

by Ana Bove
Venue:Nordic Journal of Computing
Citations:10 - 2 self