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