Publikacje

Czasopismo: Electronic Proceedings In Theoretical Computer Science

Liczba publikacji: 3

2015

• Marcin Benke, Viviana Bono i Aleksy Andrzej Schubert, Lucretia - intersection type polymorphism for scripting languages, Electronic Proceedings In Theoretical Computer Science 177 2015, s. 65–78.zobacz w PBN

2013

• Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof i Paweł Urzyczyn, Using Inhabitation in Bounded Combinatory Logic with Intersection Typesfor Composition Synthesis, Electronic Proceedings In Theoretical Computer Science 121 2013, s. 18–34.zobacz w PBN

2012

• Wojciech Czerwiński i Sławomir Lasota, Partially-commutative context-free languages, Electronic Proceedings In Theoretical Computer Science 89 2012, s. 35–48.zobacz w PBN