Formal semantics in modern type theories
Auteur :
Chatzikyriakidis, Stergios / Luo, Zhaohui
Éditeur :
ISTE Ltd and John Wiley & Sons Inc
ISBN :
9781786301284
Date de publication :
5 mars 2021
Dimensions :
1,0 x 1,0 x 1,0 cm
Poids :
454 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne