Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Ohta, Yo
and
Hasegawa, Masahito
2006.
Term Rewriting and Applications.
Vol. 4098,
Issue. ,
p.
166.
Baillot, Patrick
and
Terui, Kazushige
2009.
Light types for polynomial time computation in lambda calculus.
Information and Computation,
Vol. 207,
Issue. 1,
p.
41.
Hamana, Makoto
2017.
How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation.
Proceedings of the ACM on Programming Languages,
Vol. 1,
Issue. ICFP,
p.
1.
Hasegawa, Masahito
2017.
Linear Exponential Comonads without Symmetry.
Electronic Proceedings in Theoretical Computer Science,
Vol. 238,
Issue. ,
p.
54.
Hasegawa, Masahito
2019.
From Linear Logic to Cyclic Sharing.
Electronic Proceedings in Theoretical Computer Science,
Vol. 292,
Issue. ,
p.
31.
HAMANA, MAKOTO
2019.
How to prove decidability of equational theories with second-order computation analyser SOL.
Journal of Functional Programming,
Vol. 29,
Issue. ,