Segui
Konstantinos Pouliasis
Konstantinos Pouliasis
CUNY Graduate Center
Email verificata su gradcenter.cuny.edu - Home page
Titolo
Citata da
Citata da
Anno
J-Calc: A typed lambda calculus for Intuitionistic Justification Logic
K Pouliasis, G Primiero
Electronic Notes in Theoretical Computer Science 300, 71-87, 2014
92014
A Curry–Howard view of basic justification logic
K Pouliasis
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
22016
Relating justification logic modality and type theory in Curry-Howard fashion
K Pouliasis
City University of New York, 2018
12018
Justification Logic And Type Theory: First Steps Towards Justified Typed Modality
K Pouliasis
2014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–4