Separating functional computation from relations

DOI10.4230/LIPICS.CSL.2017.23MaRDI QIDQ5111191zbMATH OpenFDO

Authors

Publication date 26 May 2020

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2017.23

zbMATH Keywords

computation and deductionfixed pointsfocused proof systems

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Proof theory in general (including proof-theoretic semantics) (03F03) First-order arithmetic and fragments (03F30)

Recommendations

• A functional logic for higher level reasoning about computation
• Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
• scientific article; zbMATH DE number 2063838
• scientific article; zbMATH DE number 5863196
• scientific article; zbMATH DE number 851066

Cited in

(6)

• Mechanized metatheory revisited
• scientific article; zbMATH DE number 5863196 (Why is no real title available?)
• scientific article; zbMATH DE number 5869725 (Why is no real title available?)
• Focusing Gentzen's LK proof system
• Mechanized metatheory revisited: an extended abstract (invited paper)
• Peano arithmetic and MALL

This page was built for publication: Separating functional computation from relations

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