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