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

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

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

地点:伟德betvlctor体育官网教2楼110

主讲人:方文杰


版权所有 bevictor伟德官网 - 韦德官方网站

手机版