Stergios Chatzikyriakidis

Formal Semantics in Modern Type Theories

Подробнее