scientific article; zbMATH DE number 3503206
From MaRDI portal
Publication:4083402
zbMath0322.02030MaRDI QIDQ4083402
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Intuitionistic mathematics (03F55) General logic (03B99) Proof theory and constructive mathematics (03F99)
Related Items (4)
Ein starker Normalisationssatz für die bar-rekursiven Funktionale ⋮ Intrinsic reasoning about functional programs. I: First order theories ⋮ Extraction and verification of programs by analysis of formal proofs ⋮ A simple proof of second-order strong normalization with permutative conversions
This page was built for publication:
