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ł (sparse)
-
-
100 1 _ ‡a Urzyczyn, Paweł
-
-
100 1 _ ‡a Urzyczyn, Paweł
-
-
-
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Algebry cylindryczne dla częściowych systemów relacyjnych |
![]() |
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 |
![]() ![]() |
Preface |
![]() |
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 |
![]() |