龙王捕鱼

Bijections between planar maps and planar linear normal λ-terms with connectivity condition

作者:时间:2023-08-10点击数:

报告日期:2023年8月11日 时间:上午10:30-11:30

地点:龙王捕鱼 教2楼110

主讲人:方文杰


Copyright long wang bu yu; 2020.龙王捕鱼(中国)官方网站

手机版