Constructing Recursion Operators in Intuitionistic Type Theory (1984)

Cached

Download Links

by Lawrence C Paulson
Venue:Journal of Symbolic Computation
Citations:22 - 5 self