Lanese Ivan について
Focus Team, University of Bologna/INRIA, Mura Anteo Zamboni, 7, Bologna, Italy について
Nishida Naoki について
Graduate School of Informatics, Nagoya University, Furo-cho, Chikusa-ku, 4648603 Nagoya, Japan について
Palacios Adrian について
MiST, DSIC, Universitat Politecnica de Valencia, Camino de Vera, s/n, 46022 Valencia, Spain について
Vidal German について
MiST, DSIC, Universitat Politecnica de Valencia, Camino de Vera, s/n, 46022 Valencia, Spain について
Journal of Logical and Algebraic Methods in Programming について
部分集合 について
プログラミング言語 について
言語 について
因果律 について
可逆性 について
形式的意味論 について
アクターモデル について
後向きステップ について
汎用プログラミング言語 について
計算理論 について
erlang について
可逆性 について
理論 について