@misc{indiciaed146f15f2292,
  title = {Curry-Howard-Lambek Correspondence for Intuitionistic Belief},
  author = {Cosimo Perini Brogi},
  year = {2020},
  url = {https://arxiv.org/abs/2006.02417},
  note = {Source identifier: 2006.02417}
}