ABM 12/96 talk by Ralph Matthes
The talk has been given on December 19, 1996, at the "Arbeitstreffen Bern München" on
proof theory and computer science in Munich. Its title was "Naive
reduktionsfreie Normalisierung" (in German). The title in English
would be "Naïve reduction-free normalization". Its short summary
would be proofs of strong
normalization without analysis of reducts and without making use of
category theory, here: an extension of Mendler's system. It contains a
proof of strong normalization for primitive recursion in Mendler's
style where no positivity requirement is needed for the fixed points.
The overhead transparencies
Every page is a JPG file of 418-636kB.
Ralph Matthes