Constructing recursions operators in intuitionistic type theory.
Edición de la obra Constructing recursions operators in intuitionistic type theory
| Autor | Lawrence C. Paulson |
|---|---|
| Editorial | University of Cambridge,Computer Laboratory |
| Fecha de publicación | 1984 |
| Lugar | Cambridge |
| Idioma | inglés |
| Páginas | 46 |
| Serie | Technical report -- No.57 |
| Número de Cutter | P332c |