Wyniki wyszukiwania

Parametry zapytania
  
Autor:Paweł Urzyczyn

                

Publikacja w czasopiśmie

1. Finite Combinatory Logic with Intersection Types
LECTURE NOTES IN COMPUTER SCIENCE Tom 6690 r. 2011, str. 169-183 (Artykuł konferencyjny)
Jakob Rehof, Paweł Urzyczyn
2. A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic
NOTRE DAME JOURNAL OF FORMAL LOGIC Tom 51 Nr 4 r. 2010, str. 457-473 (Artykuł)
Morten Heine Sorensen, Paweł Urzyczyn
3. Preface
FUNDAMENTA INFORMATICAE Tom 103 Nr 1-4 r. 2010, str. (Artykuł)
Anna Gambin, Damian Niwiński, Paweł Urzyczyn
4. Inhabitation of Low-Rank Intersection Types
LECTURE NOTES IN COMPUTER SCIENCE Tom 5608 r. 2009, str. 356-370 (Artykuł)
Paweł Urzyczyn
5. In the search of a naive type theory
LECTURE NOTES IN COMPUTER SCIENCE Tom 4941 r. 2008, str. 110-124 (Artykuł)
Agnieszka Kozubek, Paweł Urzyczyn
6. Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions
JOURNAL OF SYMBOLIC LOGIC Tom 73 Nr 3 r. 2008, str. 919-932 (Artykuł)
Paweł Urzyczyn, Morten Heine Soerensen
7. Unsafe Grammars and Panic Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 3580 r. 2005, str. 1450-1461 (Artykuł konferencyjny)
Teodor Knapik, Damian Niwiński, Paweł Urzyczyn, Igor Walukiewicz
8. Type inference for nested self types
LECTURE NOTES IN COMPUTER SCIENCE Tom 3085 r. 2004, str. 99-114 (Artykuł konferencyjny)
Viviana Bono, Jerzy Tiuryn, Paweł Urzyczyn
9. A simple proof of undecidability of strong normalization
Mathematical Structures in Computer Science Tom 13 r. 2003, str. 5-13 (Artykuł)
Paweł Urzyczyn
10. Higher-order pushdown trees are easy
LECTURE NOTES IN COMPUTER SCIENCE Tom 2303 r. 2002, str. 205-222 (Artykuł konferencyjny)
Teodor Knapik, Damian Niwiński, Paweł Urzyczyn
11. The subtyping problem for second-order types is undecidable
INFORMATION AND COMPUTATION Tom 179 r. 2002, str. 1-18 (Artykuł)
Jerzy Tiuryn, Paweł Urzyczyn
12. Deciding monadic theories of hyperalgebraic trees
LECTURE NOTES IN COMPUTER SCIENCE Nr 2044 r. 2001, str. 253-267 (Artykuł)
Damian Niwiński, Paweł Urzyczyn, T. Knapik

Książka

13. Special Issue on the 7th International Conference on Typed Lambda Calculi and Applications, TLCA '05
IOS Press, r. 2007 (Książka)
Thorsten Altenkirch (Redaktor), Paweł Urzyczyn (Redaktor)
14. Lectures on the Curry-Howard Isomorphism
Elsevier, r. 2006 (Książka)
M. Sorensen, Paweł Urzyczyn
15. Mathematical Foundations of Computer Science 31st Int. Symposium
Springer, r. 2006 (Książka)
P. Kralovic (Redaktor), Paweł Urzyczyn (Redaktor)
16. Typed Lambda Calculi and Applications 2003, Selected Papers
IOS Press, r. 2005 (Książka)
Martin Hofmann (Redaktor), Paweł Urzyczyn (Redaktor)
17. Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005
Springer Verlag, r. 2005 (Książka)
Paweł Urzyczyn (Redaktor)
18. Special Issue Editors of Fundamenta Informaticae
IOS Press, r. 2001 (Książka)
J. Girard, Paweł Urzyczyn (Redaktor)

Publikacja w książce

19. Bounded Combinatory Logic
w: CSL, str. 243-258, r. 2012 (Artykuł konferencyjny)
Boris Düdder, Moritz Martens, Jakob Rehof, Paweł Urzyczyn
20. The Complexity of Inhabitation with Explicit Intersection
w: Logic and Program Semantics, str. 256-270, r. 2012 (Artykuł konferencyjny)
Jakob Rehof, Paweł Urzyczyn
21. Sequent Calculus, Dialogues, and Cut-Elimination,
w: Reflections on Type Theory, Lambda Calculus, and the Mind, Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, str. 253-261, Radboud University, r. 2007 (Esej lub rozdział w książce)
M. Sorensen, Paweł Urzyczyn
22. Predicates as Types
w: Proof Technology and Computation, str. 355-386, IOS Press, r. 2006 (Artykuł)
Paweł Urzyczyn