Full Text Available
Access Full Text at Repository
Search Results - (((codee OR mode) OR code) OR (model OR model)) journal
Search alternatives:
- mode »
- model »
- codee »
- code »
-
$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