Full Text Available
Access Full Text at Repository
Search Results - (((codee OR code) OR (moree OR madee)) OR model) journal
Search alternatives:
- moree »
- madee »
-
$mathsf{LLF}_{cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
Published in Logical Methods in Computer Science (2017)Get full text
Online Article RSS Article