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 |
 JcalcForRio.pdf |