AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
tadeusz litak

tadeusz litak

Friedrich Alexander Universität Erlangen Nürnberg FAU - Erlangen / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1758133
Friedrich-Alexander University Erlangen-Nürnberg
person_outline tadeusz litak's MOST POPULAR ARTICLES
1-) Constructive modalities with provability smack Leo Esakia on duality in modal and intuitionistic logics, 187-216, 2014
2-) The high-level benefits of low-level sandboxing Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019
3-) Lewis meets Brouwer: constructive strict implication Indagationes Mathematicae 29 (1), 36-90, 2018
4-) Model Theory and Proof Theory of Coalgebraic Predicate Logic Logical Methods in Computer Science 14, 2018
5-) A van Benthem/Rosen theorem for coalgebraic predicate logic Journal of Logic and Computation 27 (3), 749-773, 2017