Higher order operational techniques in semantics
Edición de la obra Higher Order Operational Techniques in Semantics
| Autor | Andrew D. Gordon, Andrew M. Pitts, H. K. Moffatt |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 1998 |
| Lugar | Cambridge, U.K, New York, NY, USA |
| Idioma | inglés |
| Páginas | 390 |
| ISBN-10 | 0521631688 |
| LCCN | 97032339 |
| Serie | Publications of the Newton Institute ; · 12 |