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