A higher-order calculus and theory abstraction.
Edición de la obra A higher-order calculus and theory abstraction
| Autor | Zhaohui Luo |
|---|---|
| Editorial | University of Edinburgh, Laboratory for Foundations ofComputer Science |
| Fecha de publicación | 1988 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 28 |
| Serie | LFCS report series -- ECS-LFCS-88-57 |
| Número de Cutter | L964h |