Proof-Oriented Categorical Semantics

DOI10.1515/9781501502620-004zbMath1433.03159OpenAlexW2478538398MaRDI QIDQ5221607

Marco Benini

Publication date: 2 April 2020

Published in: Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9781501502620-004

zbMATH Keywords

categorical semanticspropositions-as-types

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Subsystems of classical logic (including intuitionistic logic) (03B20) Type theory (03B38)

This page was built for publication: Proof-Oriented Categorical Semantics