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