Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter 2016

Proof-Oriented Categorical Semantics

Marco Benini
© 2016 Walter de Gruyter GmbH, Berlin/Munich/Boston