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