关于类型居住的简短说明：公式树与游戏语义

缩略图
文件夹
P-00G-FE1.pdf文件 （319.36 KB）
日期
2015
作者
桑德拉·阿尔维斯
布罗达，S
期刊标题
期刊ISSN
卷标题
出版商
摘要
这篇短文比较了在简单类型lambda演算中探索类型驻留的两种不同方法，强调了它们的相似之处。
描述
关键词
引文
URI（URI）
http://repositorio.inesctec.pt/handle/123456789/5222
 http://dx.doi.org/10.1016/j.ipl.2015.05.004
收藏
CRACS——期刊索引文章