Type-Logical Syntax

Type-Logical Syntax

podľa Yusuke Kubota
2/5
Prvýkrát zverejnené
2020
Vydavatelia
MIT Press

Knihy

Podobné knihy