Eine Variante zur Dialectica Interpretation der Heyting-Arithmetik endlicher Typen,” Archive Mathematische Logik Grundlagenforschung 16 (1974)

by J Diller, W Nahm