Computation and reasoning
a type theory for computer science
Edición de la obra Computation and reasoning
| Autor | Zhaohui Luo |
|---|---|
| Editorial | Clarendon Press, Oxford University Press |
| Fecha de publicación | 1994 |
| Lugar | Oxford, New York |
| Idioma | inglés |
| Páginas | 228 |
| ISBN-10 | 0198538359 |
| OCLC | 29518009 |
| LCCN | 93046644 |
| Serie | International series of monographs on computer science |
| Número de Cutter |