直観主義的型理論の創案者として知られる.
直観主義的型理論