Research field (7):
Algebra
, Applied mathematics and statistics
, Basic mathematics
, Applied mathematics and statistics
, Basic mathematics
, Algebra
, Information theory
Yamakawa Fumika, Komori Yuichi. An extension to predicate logic of $\lambda\rho$-calculus (Logics, Algebras and Languages in Computer Science). RIMS Kokyuroku. 2014. 1915. 1-10