J-Calc: A typed lambda calculus for Intuitionistic Justification Logic
| Title | J-Calc: A typed lambda calculus for Intuitionistic Justification Logic |
| Publication Type | Journal Article |
| Authors | Pouliasis, K, Primiero, G |
| Download PDF |
 (Author PDF) |
|---|
PDF author (public):