Speci and veri of a formal system for structurally recursive functions (2000)

by Andreas Abel
Venue:Proceedings of TYPES'99, Lecture Notes in Computer Science