Akeo Adachi

• Foundations of computation theory