U
📝 描述
University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
⭐ 用户评价
暂无评价