Uniform strong normalization for multi-discipline calculi

DOI10.1007/978-3-319-99840-4_12MaRDI QIDQ6164541zbMATH OpenOpenAlexFDO

Authors Paul Downen, Philip Johnson-Freyd, Zena M. Ariola

Publication date 28 July 2023

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://www.osti.gov/biblio/1505261

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70)

Recommendations

• Strong normalisation for the linear term calculus
• Strong normalisation for applied lambda calculi
• scientific article; zbMATH DE number 1722703
• Strong normalization from an unusual point of view
• Foundations of Software Science and Computation Structures
• Strong normalisation in the \(\pi\)-calculus
• Computer Science Logic
• Strongly normalizing extensions
• Abstracting models of strong normalization for classical calculi
• On strong normalities

Cited in

(1)

• Abstracting models of strong normalization for classical calculi

This page was built for publication: Uniform strong normalization for multi-discipline calculi

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