Publications
Export 1 results:
[ Author![(Desc)](https://www.clps.ugent.be/sites/all/modules/biblio/misc/arrow-desc.png)
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. ![application/pdf](/modules/file/icons/application-pdf.png)