3 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
Jonathan Chan, Yufeng Li, William J. Bowman
Contemporary proof assistants such as Coq require that recursive functions be terminating and corecursive functions be productive to maintain logical consistency of their type theo…