J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic. - Konstantinos Pouliasis; Giuseppe Primiero (IMLA@UNILOG, 2013)

A Curry-Howard View of Basic Justification Logic. - Konstantinos Pouliasis (WoLLIC, 2016)

Relating Justification Logic Modality and Type Theory in Curry-Howard Fashion. - Konstantinos Pouliasis (2018)