Pages that link to "Item:Q770787"
From MaRDI portal
The following pages link to On the fundamental conjecture of \(GLC\). I, II (Q770787):
Displaying 6 items.
- How to assign ordinal numbers to combinatory terms with polymorphic types (Q453195) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- On the fundamental conjecture of GLC, VI (Q3292575) (← links)
- The Gödelian Inferences (Q3401359) (← links)
- A proof of the cut-elimination theorem in simple type theory (Q5183470) (← links)
- Schnittelimination in einem Teilsystem der einfachen Typenlogik (Q5595150) (← links)