Ein starker Normalisationssatz für die intuitionistische Typentheorie

DOI10.1007/BF01297669zbMath0256.02013MaRDI QIDQ2558857

Wolfram Pohlers

Publication date: 1973

Published in: Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/154154

Mathematics Subject Classification ID

Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (2)

Ein starker Normalisationssatz für die bar-rekursiven Funktionale ⋮ Theory of proofs (arithmetic and analysis)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A proof of cut-elimination theorem in simple type-theory
• Syntactical and semantical properties of simple type theory
• Hauptsatz for higher order logic

This page was built for publication: Ein starker Normalisationssatz für die intuitionistische Typentheorie