CONTINUATION SEMANTICS AND CPS-TRANSLATION OF λμ-CALCULUS

KEN-ETSU FUJITA

首页> 外文期刊>Mathematica Japonicae >CONTINUATION SEMANTICS AND CPS-TRANSLATION OF λμ-CALCULUS

【24h】

CONTINUATION SEMANTICS AND CPS-TRANSLATION OF λμ-CALCULUS

机译：λμ-骨钙素的连续语义和CPS翻译

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We investigate relations between denotational semantics of λμ-calculus and syntactic interpretation by the so-called CPS-translation. It is shown that continuation denotational semantics of λμ-calculus has a simulation relation to direct denotational semantics following the CPS-translation.

机译：我们研究了λμ演算的指称语义与所谓的CPS翻译的句法解释之间的关系。结果表明，λμ演算的连续指称语义与CPS转换后的直接指称语义具有模拟关系。

著录项

来源
《Mathematica Japonicae》 |2003年第1期|p.73-82|共10页
作者
KEN-ETSU FUJITA;
展开▼
作者单位

Department of Mathematics and Computer Science, Shimane University, Matsue, Shimane 690-8504, Japan;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
λμ-calculus; denotational semantics; continuation semantics; direct semantics; CPS-translation;

机译：λμ演算;指称语义;延续语义;直接语义;CPS翻译;

相似文献

外文文献
中文文献
专利

1. Continuation semantics for the Lambek-Grishin calculus [J] . Raffaella Bernardi, Michael Moortgat Information and computation . 2010,第5期

机译：Lambek-Grishin演算的连续语义
2. Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics [J] . Jan Woleński Logica Universalis . 2012,第3a4期

机译：逻辑作为微积分对逻辑，语言作为微积分对语言，语言作为微积分对语言作为通用媒介，以及语法对语义
3. Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics [J] . Woleński J. Logica universalis . 2012,第3a4期

机译：作为微积分的逻辑与作为语言的逻辑，作为微积分的语言与作为通用介质的语言，以及语法与语义
4. A Sound and Complete CPS-Translation for λμ-Calculus [C] . Ken-etsu Fujita 6th International Conference on Typed Lambda Calculi and Applications TLCA 2003 Jun 10-12, 2003 Valencia, Spain . 2003

机译：λμ演算的完善CPS转换
5. Physics experiences and calculus: How students use physics to construct meaningful conceptualizations of calculus concepts in an interdisciplinary calculus /physics course. [D] . Marrongelle, Karen Ann. 2001

机译：物理经验和微积分：在跨学科的微积分/物理课程中，学生如何使用物理学来构建有意义的微积分概念的概念化。
6. Continuation-like semantics for modeling structural process anomalies [O] . Niels Grewe 2012

机译：用于模拟结构过程异常的类似连续语义
7. Continuation semantics for the Lambek-Grishin calculus [O] . Raffaella Bernardia, Michael Moortgatb 2014

机译：Lambek-Grishin微积分的延续语义

CONTINUATION SEMANTICS AND CPS-TRANSLATION OF λμ-CALCULUS

摘要

著录项

相似文献

相关主题

期刊订阅