Login

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