Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Ed. by Probst, Dieter / Schuster, Peter

Series:Ontos Mathematical Logic 6

eBook (PDF)
Publication Date:
July 2016
Copyright year:
2016
ISBN
978-1-5015-0262-0
See all formats and pricing

Proof-Oriented Categorical Semantics

Benini, Marco

Citation Information

Marco Benini (2016). Proof-Oriented Categorical Semantics. In Dieter Probst, Peter Schuster (Eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 41–68). Berlin, Boston: De Gruyter. https://doi.org/10.1515/9781501502620-004

Book DOI: https://doi.org/10.1515/9781501502620

Online ISBN: 9781501502620

© 2016 Walter de Gruyter GmbH, Berlin/Munich/BostonGet Permission

Comments (0)

Please log in or register to comment.
Log in