J-Calc: A typed lambda-calculus for Justification Logic
Speaker(s) | Guiseppe Primiero |
---|---|
Date | 7 April 2013 |
Place | Rio de Janeiro, Brazil |
Occasion | Intuitionistic Modal Logic and Applications Workshop, UNILOG Conference |
Category | Contributed |
Slides |
![]() |