Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Všechny
Od 2019
Citace
11
4
h-index
2
1
i10-index
0
0
0
4
2
2014
2015
2016
2017
2018
2019
2020
1
3
1
2
1
3
Veřejný přístup
Zobrazit všechny
Zobrazit všechny
1 článek
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
Giuseppe Primiero
Department of Philosophy, University of Milan
E-mailová adresa ověřena na: unimi.it
Sledovat
Konstantinos Pouliasis
CUNY Graduate Center
E-mailová adresa ověřena na: gradcenter.cuny.edu -
Domovská stránka
Modal Logic
Justification Logic
Type Theory
Programming Languages
Články
Citace
Veřejný přístup
Spoluautoři
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
J-Calc: A typed lambda calculus for Intuitionistic Justification Logic
K Pouliasis, G Primiero
Electronic Notes in Theoretical Computer Science 300, 71-87
, 2014
8
2014
A Curry–Howard view of basic justification logic
K Pouliasis
International Workshop on Logic, Language, Information, and Computation, 316-337
, 2016
2
2016
Relating justification logic modality and type theory in Curry-Howard fashion
K Pouliasis
City University of New York
, 2018
1
2018
Justification Logic And Type Theory: First Steps Towards Justified Typed Modality
K Pouliasis
2014
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–4
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě