文献

J-GLOBAL ID：201702289897643391   整理番号：17A1357507

抽象機械によるHOcoreにおけるラムダ計算の完全抽象符号化【Powered by NICT】

Fully abstract encodings of λ-calculus in HOcore through abstract machines

著者 (6件)： Biernacka Malgorzata (University of Wrocl/aw, Poland) ,  Biernacki Dariusz (University of Wrocl/aw, Poland) ,  Lenglet Serguei (Universite ́ de Lorraine, France) ,  Polesiuk Piotr (University of Wrocl/aw, Poland) ,  Pous Damien (Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, France) ,  Schmitt Alan (Inria, France)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： LICS  ページ： 1-12  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： HOcore,名前制限を持つ極小高次プロセス計算に呼bynameラムダ計算の完全抽象符号化を示さなかった。完全抽象化を証明するために著者らは抽象機械に取り込まれことをラムダ計算側のいくつかの等価性を考慮 正規形双模倣関係,応用双模倣関係,および文脈等価性。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *符号化 ,  *計算 ,  等価性 ,  *λ計算
準シソーラス用語： *抽象機械 , 【Automatic Indexing@JST】

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 抽象機械 ,  ラムダ計算 ,  抽象 ,  符号化