Urzyczyn, Paweł.
Paweł Urzyczyn
VIAF ID: 17521663 ( Personal )
Permalink: http://viaf.org/viaf/17521663
Preferred Forms
- 100 0 _ ‡a Paweł Urzyczyn
- 200 _ | ‡a Urzyczyn ‡b Paweł
-
- 100 1 _ ‡a Urzyczyn, Pawel
- 100 1 _ ‡a Urzyczyn, Paweł
-
- 100 1 _ ‡a Urzyczyn, Paweł
-
-
-
- 100 1 _ ‡a Urzyczyn, Paweł (sparse)
-
-
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Algorithmic triviality of abstract structures : preprint | |
Discrimination by parallel observers : the algorithm | |
The Emptiness problem for intersection types | |
Formalizacja naiwnej teorii typów | |
A formalization of the Naive type theory | |
From mathematical beauty to the truth of nature : to Jerzy Tiuryn on his 60th birthday | |
Inhabitation in typed lambda-calculi : (a syntatic approach) | |
Les jeux stochastiques et leurs complexités. | |
Lectures on the Curry-Howard isomorphism | |
The logic of persistent intersection | |
Mathematical Foundations of Computer Science 2006 : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings | |
MFCS 2006 | |
A mixin based object-oriented calculus : true modularity in object-oriented programming | |
Modules in type theory with generative definitions | |
Obiektowy język programowania oparty na mixinach : prawdziwa modularność w językach obiektowych | |
Positive recursive type assignment | |
Recursive types and type embeddings | |
Semantic consistency proofs for systems of illative combinatory logic | |
Semantyczne dowody niesprzeczności dla systemów illatywnej logiki kombinatorycznej | |
Stochastic games and their complexities | |
The subtyping problem for second-order types is undecidable | |
Termination of rewriting in the calculus of constructions | |
TLCA 2005 | |
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings | |
The unwind property in certain algebras | |
Wnioskowanie o programach za pomocą rozszerzenia logiki algorytmicznej | |
Zastosowanie unifikacji do problemów wyprowadzania typów |