The Anatomy of Innocence Revisited

机译：再谈无罪的解剖

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We refine previous analyses of Hyland-Ong game semantics and its relation to λ- and λμ-calculi and present improved factorization results for bracketing and rigidity that can be combined in any order.

机译：我们完善了先前对Hyland-Ong游戏语义及其与λ-和λμ计算的关系的分析，并给出了可以以任何顺序组合的包围和刚度改进的因式分解结果。

著录项

来源
《FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science; Lecture Notes in Computer Science; 4337》|2006年|224-235|共12页
会议地点 Kolkata(IN);Kolkata(IN)
作者
Russ Harmer; Olivier Laurent;
展开▼
作者单位

PPS, CNRS and Universite Paris 7;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算机软件;理论、方法;
关键词

相似文献

外文文献
中文文献
专利

1. Probable innocence revisited [J] . Konstantinos Chatzikokolakis, Catuscia Palamidessi Theoretical computer science . 2006,第1a2期

机译：重新审视可能的纯真
2. "The end of innocence" revisited: resistance of herpesviruses to antiviral drugs. [J] . A K Field, K K Biron Clinical microbiology reviews . 1994,第1期

机译：重新审视“无罪的终结”：疱疹病毒对抗病毒药物的耐药性。
3. Novel or Museum? Reading Orhan Pamuk's Museum of Innocence: Museum of Innocence, Istanbul, Turkey (museum review) [J] . Sebnem Timur Ogut Design Issues . 2016,第4期

机译：小说还是博物馆？读Orhan Pamuk的无罪博物馆：无罪博物馆，伊斯坦布尔，土耳其（博物馆审查）
4. The Anatomy of Innocence Revisited [C] . Russ Harmer, Olivier Laurent Annual Conference on the Foundations of Software Technology and Theoretical Computer Science . 2006

机译：无罪的解剖重新审视
5. From Pursuing Innocence to Ensuing Innocence: How Performance Can Empower Youth to Access and Establish Shared Governance in Juvenile Justice [D] . Teshome, Tezeru 2019

机译：从追求纯真到随之而来的纯真：表现如何使青年人有权获得和建立少年司法的共同治理
6. The end of innocence revisited: resistance of herpesviruses to antiviral drugs. [O] . A K Field, K K Biron 1994

机译：重新审视无罪的终结：疱疹病毒对抗病毒药物的耐药性。
7. Probable Innocence Revisited ⋆ [O] . Konstantinos Chatzikokolakis A, Catuscia Palamidessi A 2012

机译：可能的纯真重访⋆

The Anatomy of Innocence Revisited

摘要

著录项

相似文献

相关主题

期刊订阅