Selected Publications
Journal Articles
Steffen van Bakel, Ugo de'Liguoro, 2008, Logical equivalence for subtyping object and recursive types, Theory of Computing Systems
van Bakel, S, Lescanne, et al. , 2008, Computation with Classical Sequents, Mathematical Structures in Computer Science, Pages:555-609
Conference
van Bakel S, Vigliotti MG, 2009, A logical interpretation of the lambda-calculus into the pi-calculus, preserving spine reduction and types, 20th International Conference on Concurrency Theory (CONCUR'09), Springer Verlag, Pages:84-98, ISSN:0302-9743