Login

Type of document: Article

Language: English

Author(s): Takahashi, Moto-o

Title: Cut-elimination Theorem and Brouwerian-valued Models for Intuitionistic Type Theory

Year: 1971

Source: Seorsum Impressum

Volume: 19

Pages: 55-72

Catalog