-
proof theory and functional and numerical analysis, through the semantics of differential linear logic and programming languages. In particular, this project seeks to lay the foundations for a
Searches related to web semantic
Enter an email to receive alerts for web-semantic positions