文献
J-GLOBAL ID：201902203788521232   整理番号：19S0609005

Memoryful geometry of interaction: From coalgebraic components to algebraic effects

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (3件)：
Hoshino, Naohiko

Hoshino, Naohiko について

(RIMS, Kyoto University)

RIMS, Kyoto University について

, 
Muroya, Koko

Muroya, Koko について

(Dept. Computer Science, University of Tokyo)

Dept. Computer Science, University of Tokyo について

, 
Hasuo, Ichiro

Hasuo, Ichiro について

(Dept. Computer Science, University of Tokyo)

Dept. Computer Science, University of Tokyo について


資料名：
Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014

Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014 について


発行年： 2014年 
JST資料番号： SCOPUS  ISBN： 9781450328869 
発行国： アメリカ (USA)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM