( en | de | ru )

 

Disambiguation of "Urzyczyn, Pawel"

Author of the publication

copydeleteadd this publication to your clipboard
Lectures on the Curry-Howard isomorphism

, and . Elsevier, Amsterdam; Oxford, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pawel Urbanski

Pawel Golak

Sascha Pawel

Pawel Durek

Pawel Silberring

 

Other publications of authors with the same name

Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions., and . J. Symb. Log., 73 (3): 919-932 (2008)ML Typability is DEXTIME-Complete., , and . CAAP, volume 431 of Lecture Notes in Computer Science, page 206-220. Springer, (1990)A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic., and . Notre Dame J. Formal Log., 51 (4): 457-473 (2010)Typed Lambda Calculi and Applications 2003, Selected Papers., and . Fundam. Informaticae, (2005)Necessary and Sufficient Conditions for the Universality of Programming Formalisms., and . Acta Inf., 22 (4): 347-377 (1985)The Emptiness Problem for Intersection Types. LICS, page 300-309. IEEE Computer Society, (1994)Preface., , and . Fundam. Informaticae, (2010)In the Search of a Naive Type Theory., and . TYPES, volume 4941 of Lecture Notes in Computer Science, page 110-124. Springer, (2007)A Simple Proof of the Undecidability of Strong Normalisation.. Math. Struct. Comput. Sci., 13 (1): 5-13 (2003)The Hierarchy of Finitely Typed Functional Programs (Short Version), , and . LICS, page 225-235. IEEE Computer Society, (1987)