Publications
Export 1 results:
[ Author] Title Type Year Filters: Author is Pouliasis, Konstantinos [Clear All Filters]
“J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2014.