×
范·贝克尔，斯特芬

使用严格的否定交集类型表征\（\lambda\mu\）的归一化属性。 （英语） Zbl 1407.03015号

ACM事务处理。计算。日志。 19，第1号，第3条，47页（2018年）.

引用于1文件

MSC公司：

03B40型 组合逻辑与lambda演算

关键词：

\（\lambda\mu\）微积分;交叉点类型;标准化;语义学

引文：

Zbl 1331.03021号
PDF格式BibTeX公司 XML格式引用
\textit{S.van Bakel}，ACM翻译。计算。日志。19，第1号，第3条，47页（2018；Zbl 1407.03015）
全文： 内政部 链接