A Definitional Approach to Primitive Recursion over Higher Order Abstract Syntax (2003)

Cached

Download Links

by S. J. Ambler , R. L. Crole , & A. Momigliano , A. Momigliano
Venue:In Proceedings of the 2003 workshop on Mechanized
Citations:22 - 5 self