Sato, M., "Typed Logical Calculus", Technical Report 85-13, Department of Information Science, Faculty of Science, University of Tokyo, 1985

Languages mentioned

• Quty {1984}