Bijections between planar maps and planar linear normal λ-terms with connectivity condition 审核:王开永 时间:2023/08/10 点击数: 报告日期: 2023年8月11日 时间:上午10:30-11:30 地点:数学科学学院教2楼110 主讲人:方文杰