activity
20132021
most citedRecurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)

20 citations · 43 across the 5 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2013★ 7 cited

Calculating the Fundamental Group of the Circle in Homotopy Type Theory

Daniel R. Licata, Michael Shulman

Recent work on homotopy type theory exploits an exciting new correspondence between Martin-Lof's dependent type theory and the mathematical disciplines of category theory and homot…