Type of document: Article
Language: English
Author(s): Takahashi, Moto-o
Title: A System of Simple Type Theory of Gentzen Style with Inference on Extensionality, and the Cut-Elimination in it
Year: 1970
Source: Seorsum Impressum
Volume: 18
Pages: 129-147
Catalog