<style face="normal" font="default" size="100%">J-Calc: A typed lambda calculus for Intuitionistic Justification Logic</style>

Drupal-Biblio