Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Paweł Urzyczyn
2016
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Daria Monika Walukiewicz-Chrząszcz, How Hard Is Positive Quantification?, Acm Transactions On Computational Logic 17 (4) 2016, p. 30.see in PBN
- Paweł Urzyczyn, Intuitionistic Games: Determinacy, Completeness, and Normalization, Studia Logica 104 (5) 2016, p. 957–1001.see in PBN
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Konrad Zdanowski, On the Mints Hierarchy in First-Order Intuitionistic Logic, Logical Methods In Computer Science 12 (4) 2016, p. 1–25.see in PBN
2015
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Konrad Zdanowski, On the Mints Hierarchy in First-Order Intuitionistic Logic, in: Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Springer, 2015, p. 451–465.see in PBN
- Aleksy Andrzej Schubert, Paweł Urzyczyn and Daria Monika Walukiewicz-Chrząszcz, Restricted Positive Quantification Is Not Elementary, in: 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Niemcy 2015, p. 251–273.see in PBN
2014
- Paweł Urzyczyn, Games for Intuitionistic Logic, in: Trends in Logic XIII, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2014, p. 247–269.see in PBN
2013
- Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof and Paweł Urzyczyn, Using Inhabitation in Bounded Combinatory Logic with Intersection Typesfor Composition Synthesis, Electronic Proceedings In Theoretical Computer Science 121 2013, p. 18–34.see in PBN
- Paweł Urzyczyn, Undecidability of inhabitation, in: Lambda Calculus with Types, Association for Symbolic Logic - Cambridge University Press, Cambridge 2013, r. 175, p. 762–786.see in PBN
2012
- Boris Düdder, Moritz Martens, Jakob Rehof and Paweł Urzyczyn, Bounded Combinatory Logic, in: CSL, 2012.see in PBN
- Jakob Rehof and Paweł Urzyczyn, The Complexity of Inhabitation with Explicit Intersection, in: Logic and Program Semantics, Springer, Berlin 2012.see in PBN
2007
- Thorsten Altenkirch and Paweł Urzyczyn (eds.), Special Issue on the 7th International Conference on Typed Lambda Calculi and Applications, TLCA '05, IOS Press, Amsterdam 2007.see in PBN
- M. Sorensen and Paweł Urzyczyn, Sequent Calculus, Dialogues, and Cut-Elimination,, in: Reflections on Type Theory, Lambda Calculus, and the Mind, Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, Radboud University, Nijmegen 2007.see in PBN
2006
- M. Sorensen and Paweł Urzyczyn, Lectures on the Curry-Howard Isomorphism, Elsevier, Amsterdam 2006.see in PBN
- Paweł Urzyczyn, Predicates as Types, in: Proof Technology and Computation, IOS Press, Amsterdam 2006.see in PBN
- P. Kralovic and Paweł Urzyczyn (eds.), Mathematical Foundations of Computer Science 31st Int. Symposium, Springer, Berlin 2006.see in PBN
2005
- Teodor Knapik, Damian Niwiński, Paweł Urzyczyn and Igor Walukiewicz, Unsafe Grammars and Panic Automata, Lecture Notes In Computer Science 3580 2005, p. 1450–1461.see in PBN
- Paweł Urzyczyn (ed.), Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Springer Verlag, Berlin 2005.see in PBN
- Martin Hofmann and Paweł Urzyczyn (eds.), Typed Lambda Calculi and Applications 2003, Selected Papers, IOS Press, Amsterdam 2005.see in PBN
You are not logged in | log in
