TY  - RPRT
TI  - $\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
AU  - Furio Honsell
AU  - Luigi Liquori
AU  - Petar Maksimovic
AU  - Ivan Scagnetto
PY  - 2017
DO  - 10.23638/lmcs-13(3:2)2017
UR  - https://arxiv.org/abs/1702.07214
ID  - 1702.07214
ER  -