Imperial College London

DrSteffenvan Bakel

Faculty of EngineeringDepartment of Computing

Senior Lecturer



+44 (0)20 7594 8263s.van.bakel Website




425Huxley BuildingSouth Kensington Campus




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


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

More Publications