Looking backwards in type logic

DOI10.4324/9781003442547-7MaRDI QIDQ6937744zbMATH OpenFDO

Authors Jan Köpping, Thomas Zimmermann

Publication date 26 August 2025

Full work available at URL https://doi.org/10.4324/9781003442547-7

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

This page was built for publication: Looking backwards in type logic

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