Uniform strong normalization for multi-discipline calculi

DOI10.1007/978-3-319-99840-4_12zbMATH Open1517.68068OpenAlexW2890836896MaRDI QIDQ6164541FDOQ6164541

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

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

Mathematics Subject Classification ID

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

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)