Warsaw TYPES group

The Types project is a coordination action in EU's 6:th framework programme. It started in September 2004.

The aim of the research is to develop the technology of formal reasoning and computer programming based on Type Theory. This is done by improving the languages and computerised tools for reasoning, and by applying the technology in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

• Aleksy Schubert, A self-dependency Constraint in the Simply Typed Lambda Calculus, in Fundamentals of Computation Theory, 15th Internationas Symposium, FCT 2005, Lubeck, Germany, August 17-20, 2005 Proceedings (M. Liskiewicz, R. Reischuk eds.), LNCS 3623, Springer-Verlag
• Andrzej Gąsienica-Samek, Tomasz Stachowicz, Jacek Chrząszcz, Aleksy Schubert, KOTEK: Clustering Of The Enterprise Code, to be published in Proceedings of VII KRAJOWA KONFERENCJA INZYNIERII OPROGRAMOWANIA.
• Daria Walukiewicz-Chrząszcz, Jacek Chrząszcz Consistency and completeness of rewriting in the Calculus of Constructions, manuscript, 2005
• Paweł Urzyczyn (ed.) Proc. TLCA'05, LNCS 3461.
• Marek Zaionc "Probability distribution for simple tautologies", accepted for Theoretical Computer Science, to appear in 2005
• Marek Zaionc "Probabilistic approach to the lambda definability for fourth order types", accepted at Electronic Notes in Theoretical Computer Science, to appear in 2005
• P. Waszkiewicz, R. Kopperman, H.-P. Kunzi Bounded complete models of topological spaces, Topology and Its Applications 139 (2004), 285-297
• P. Waszkiewicz, Completeness and Compactness of Quantitative Domains Lecture Notes in Computer Science 3623, Springer, 2004, pp 341-351
• P. Waszkiewicz, Approximations simply characterized, Electronic Notes in Theoretical Computer Science 2004, to appear in 2005