140 citations · 140 across the 1 of their papers we have counts for
1 paper
Venanzio Capretta
A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories. Among the most successful a…