팔로우
Konstantinos Pouliasis
Konstantinos Pouliasis
CUNY Graduate Center
gradcenter.cuny.edu의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
J-Calc: A typed lambda calculus for Intuitionistic Justification Logic
K Pouliasis, G Primiero
Electronic Notes in Theoretical Computer Science 300, 71-87, 2014
82014
A Curry–Howard view of basic justification logic
K Pouliasis
International Workshop on Logic, Language, Information, and Computation, 316-337, 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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–4