%0 Journal Article %1 journals/sLogica/Brogi21 %A Brogi, Cosimo Perini %D 2021 %J Stud Logica %K dblp %N 6 %P 1441-1461 %T Curry-Howard-Lambek Correspondence for Intuitionistic Belief. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica109.html#Brogi21 %V 109

@article{journals/sLogica/Brogi21, added-at = {2024-06-08T00:00:00.000+0200}, author = {Brogi, Cosimo Perini}, biburl = {https://www.bibsonomy.org/bibtex/2af756e630afc14dcb3b517f94bd715d3/dblp}, ee = {https://doi.org/10.1007/s11225-021-09952-3}, interhash = {3dd0647df29bf5e3bb68d8f924dd9cfe}, intrahash = {af756e630afc14dcb3b517f94bd715d3}, journal = {Stud Logica}, keywords = {dblp}, number = 6, pages = {1441-1461}, timestamp = {2024-06-17T07:11:44.000+0200}, title = {Curry-Howard-Lambek Correspondence for Intuitionistic Belief.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica109.html#Brogi21}, volume = 109, year = 2021 }