Affiliation: Lecturer, Faculty of Software and Information Technology, Aomori University, Japan
Research interests: foundations of mathematics, type theory, term rewriting, linear logic
ORCID ID: 0000-0002-5214-7077