×
乌戈·达尔拉戈

线性高阶递归的几何。 （英语） Zbl 1351.03060号

ACM事务处理。计算。日志。 第10号第2条第8条第38页（2009年）.

引用于5文件

MSC公司：

03楼52 线性逻辑和其他子结构逻辑的理论证明
03B40型 组合逻辑与lambda演算
2015年3月1日 计算复杂性（包括隐式计算复杂性）
03D20日 递归函数和关系，子递归层次结构

关键词：

相互作用几何;高阶递归;隐式计算复杂性;λ演算;类型系统
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}，ACM翻译。计算。日志。10，第2号，第8条，第38页（2009年；Zbl 1351.03060）
全文： 内政部 arXiv公司