Konstantinos Pouliasis

According to our database¹, Konstantinos Pouliasis authored at least 3 papers between 2013 and 2018.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2018

Relating Justification Logic Modality and Type Theory in Curry-Howard Fashion.

[BibT_eX]

[DOI]

PhD thesis, 2018

2016

A Curry-Howard View of Basic Justification Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2016

2013

J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013