Uniform strong normalization for multi-discipline calculi

DOI10.1007/978-3-319-99840-4_12zbMath1517.68068OpenAlexW2890836896MaRDI QIDQ6164541

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

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)

Related Items (1)

Abstracting models of strong normalization for classical calculi

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