... categorical logic and higher-order constraint logic programming. I also work in applications of the relation calculus to computer science.
確定! 回上一頁