Pages that link to "Item:Q5278085"
From MaRDI portal
The following pages link to $\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads (Q5278085):
Displayed 3 items.