Constructing Recursion Operators in Intuitionistic Type Theory (1984)
by
Lawrence C Paulson
| Venue: | Journal of Symbolic Computation |
| Citations: | 18 - 4 self |
Document Versions
| Constructing Recursion Operators in Intuitionistic Type Theory –Lawrence C Paulson — 1984 — Journal of Symbolic Computation |
