-
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 phd semantic web
Enter an email to receive alerts for phd-semantic-web positions