Crossmark

Curry–Howard–Lambek Correspondence for Intuitionistic Belief

Crossref DOI link: https://doi.org/10.1007/s11225-021-09952-3

Published Online: 2021-06-16

Published Print: 2021-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Perini Brogi, Cosimo https://orcid.org/0000-0001-7883-5727
Funding

Funding for this research was provided by:

Università degli Studi di Genova
License Information

Text and Data Mining valid from 2021-06-16

Version of Record valid from 2021-06-16
More Information

Article History

Accepted: 18 April 2021

First Online: 16 June 2021