Intuitionistic fragment of the λμ-calculus
この論文をさがす
収録刊行物
-
- Research Reports on Mathematical and Computing Sciences. Ser. C, Computer Science
-
Research Reports on Mathematical and Computing Sciences. Ser. C, Computer Science (282), 1-15, 2015-03
Tokyo : Dept. of Mathematical and Computing Sciences