Login

Type of document: Article

Language: English

Author(s): Takahashi, Moto-o

Title: Simple Type Theory of Gentzen Style with the Inference of Extensionality

Year: 1968

Source: Proceedings of the Japan Academy

Volume: 44

Pages: 43-45

Catalog