@misc{indiciae197e03b0ba6b,
  title = {\$\textbackslash{}mathsf\{LLF\}\_\{\textbackslash{}cal P\}\$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads},
  author = {Furio Honsell and Luigi Liquori and Petar Maksimovic and Ivan Scagnetto},
  year = {2017},
  doi = {10.23638/lmcs-13(3:2)2017},
  url = {https://arxiv.org/abs/1702.07214},
  note = {Source identifier: 1702.07214}
}