scientific article; zbMATH DE number 3503206

zbMATH Open0322.02030MaRDI QIDQ4083402FDOQ4083402

Authors: Daniel M. Leivant 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) General logic (03B99) Proof theory and constructive mathematics (03F99)

Cited In (4)

• A simple proof of second-order strong normalization with permutative conversions
• Intrinsic reasoning about functional programs. I: First order theories
• Extraction and verification of programs by analysis of formal proofs
• Ein starker Normalisationssatz für die bar-rekursiven Funktionale

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4083402)