Formal Semantics in Modern Type Theories
Edición de la obra Formal Semantics in Modern Type Theories
| Autor | Stergios Chatzikyriakidis, Zhaohui Luo |
|---|---|
| Editorial | Wiley & Sons, Incorporated, John |
| Fecha de publicación | 2020 |
| Idioma | inglés |
| Páginas | 256 |
| ISBN-13 | 9781119489221 |
| Número de Cutter | C495f |