You are not logged in | Log in

Paweł Urzyczyn

Number of publications: 35

2021

2018

2017

2016

2015

  • Aleksy Schubert , Paweł Urzyczyn , Konrad Zdanowski, On the Mints Hierarchy in First-Order Intuitionistic Logic, Foundations of Software Science and Computation Structures 18th International Conference, London, the United Kingdom of Great Britain and Northern Ireland, 11 April 2015 - 18 April 2015. See in PBN
  • Aleksy Schubert , Paweł Urzyczyn , Daria Walukiewicz-Chrząszcz, Restricted Positive Quantification Is Not Elementary, 20th International Conference on Types for Proofs and Programs, TYPES 2014, Paryż, France, 12 May 2014 - 15 May 2014. See in PBN

2014

2013

2012

2011

2010

2009

2008

2007

  • M. Sorensen, Paweł Urzyczyn , Sequent Calculus, Dialogues, and Cut-Elimination,, 2007. See in PBN
  • Thorsten Altenkirch, Paweł Urzyczyn , Special Issue on the 7th International Conference on Typed Lambda Calculi and Applications, TLCA '05, 2007. See in PBN

2006

2005

2004

2003

2002

2001