Structural recursive definitions in type theory (0)

by E Giménez
Venue:Proc. 25th ICALP, volume 1443 of Lecture