J-Calc: A typed lambda calculus for Intuitionistic Justification Logic

TitleJ-Calc: A typed lambda calculus for Intuitionistic Justification Logic
Publication TypeJournal Article
AuthorsPouliasis, K, Primiero, G
Download PDF (Author PDF)
PDF author (public):