Author books / Книги автора Stergios Chatzikyriakidis Zhaohui Luo » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Stergios Chatzikyriakidis Zhaohui Luo

book Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

pdf

Author: Stergios Chatzikyriakidis Zhaohui Luo
Language: English
Year: 2020

00

13.02.2024

0

0

book Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

pdf

Author: Stergios Chatzikyriakidis, Zhaohui Luo
Language: English
Year: 2020

00

13.02.2024

0

0

book Modern Perspectives in Type-Theoretical Semantics

Modern Perspectives in Type-Theoretical Semantics

pdf

Author: Stergios Chatzikyriakidis Zhaohui Luo (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0