Formal Semantics in Modern Type Theories
de Stergios Chatzikyriakidis, Zhaohui Luo
Ediciones (4)
- Formal Semantics in Modern Type Theories (2021)
Wiley & Sons, Incorporated, John · inglés · ISBN 9781786301284
- Formal Semantics in Modern Type Theories (2020)
Wiley & Sons, Incorporated, John · inglés · ISBN 9781119489252
- Formal Semantics in Modern Type Theories (2020)
Wiley & Sons, Incorporated, John · inglés · ISBN 9781119489221
- Formal Semantics in Modern Type Theories (2020)
Wiley & Sons, Incorporated, John · inglés · ISBN 9781119489214
Más obras de Stergios Chatzikyriakidis
