×
别尔纳卡，马乌戈扎塔;奥利维尔·丹维

环境机器的具体框架。 （英语） 兹比尔1367.68093

ACM事务处理。计算。日志。 9，第1号，第6条，第30页（2007年）.

引用于9文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
03B40型 组合逻辑与lambda演算

关键词：

抽象机器;闭包;推导;显式替换
PDF格式BibTeX公司 XML格式引用
\textit{M.Biernacka}和\textit{O.Danvy}，ACM翻译。计算。日志。9，第1号，第6条，30页（2007年；Zbl 1367.68093）
全文： 内政部