Constructing Recursion Operators in Intuitionistic Type Theory (1984)

Cached

Download Links

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