An example of algorithm development in Intuitionistic Type Theory
Edición de la obra An example of algorithm development in Intuitionistic Type Theory
| Autor | Steve Reeves |
|---|---|
| Editorial | Queen Mary College, Department of Computer Science and Statistics |
| Fecha de publicación | 1987 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 11 |
| Serie | Report -- No. 407 |
| Número de Cutter | R332e |