Intensional harmony as isomorphism

From MaRDI portal

Publication:6612873

Jump to:navigation, search

DOI10.1007/978-3-031-50981-0_10MaRDI QIDQ6612873

Luca Tranchini, Paolo Pistone

Publication date: 1 October 2024

zbMATH Keywords

quantification second-order logic parametricity system F equivalence of derivations identity of proofs

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

This page was built for publication: Intensional harmony as isomorphism

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6612873&oldid=40168100"