报告题目：Higher-order rewriting systems, categorial algebras and Curry-Howard isomorphisms

报告简介：This presentation explores the Curry-Howard correspondence, which links mathematical proofs to computer programs. The author discusses formal derivation systems based on rewriting rules, where paths between terms represent simplified proofs, forming a category with algebraic structures. The work extends to second-order rewriting systems, introducing second-order paths and a corresponding second-order Curry-Howard isomorphism. It is based on the preprint J. Climent Vidal and E. Cosme Llópez. From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms ArXiv https://arxiv.org/abs/2402.12051.

报告人：Enric Cosme Llópez，瓦伦西亚大学（University of Valencia）副教授，南通大学特聘教授

报告时间：2025年3月3日上午10:00-11:00.

报告地点：扬州大学瘦西湖校区数学科学学院208.

主办单位：扬州大学数学科学学院

联系人：缪龙

欢迎广大师生参加！