从语义到类型:祈使lambda-Calculus案例
摘要
出版物: -
arXiv电子打印 发布日期: 2021年12月 内政部: -
10.48550/arXiv.2112.14053 arXiv: -
arXiv:2112.14053 书目代码: -
2021arXiv211214053D 关键词: -
计算机科学-程序设计语言; 计算机科学——计算机科学中的逻辑; F.3.2; 图4.1
电子打印: 在MFPS 2021会议记录中,arXiv:2112.13746。 arXiv管理说明:大量文本与arXiv:2104.01358重叠