Art
J-GLOBAL ID：201902203788521232   Reference number：19S0609005

Memoryful geometry of interaction: From coalgebraic components to algebraic effects

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (3)：
Hoshino, Naohiko

About Hoshino, Naohiko

(RIMS, Kyoto University)

About RIMS, Kyoto University

, 
Muroya, Koko

About Muroya, Koko

(Dept. Computer Science, University of Tokyo)

About Dept. Computer Science, University of Tokyo

, 
Hasuo, Ichiro

About Hasuo, Ichiro

(Dept. Computer Science, University of Tokyo)

About Dept. Computer Science, University of Tokyo


Material：
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

About 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


Publication year： 2014 
JST Material Number： SCOPUS  ISBN： 9781450328869 
Country of issue： United States (USA)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM