ProfessorsProfessors of Imperial College LondonSteffen van Bakel

Steffen van Bakel

Imperial College London

H-index: 18

Europe-United Kingdom

About Steffen van Bakel

Steffen van Bakel, With an exceptional h-index of 18 and a recent h-index of 7 (since 2020), a distinguished researcher at Imperial College London, specializes in the field of Computer Science.

His recent articles reflect a diverse array of research interests and contributions to the field:

A Calculus of Delayed Reductions

Adding Negation to Lambda Mu

Understanding Call By Push Value through λµ µ

Theorem Proving in Classical Logic

Steffen van Bakel Information

University	Imperial College London
Position	___
Citations(all)	1380
Citations(since 2020)	131
Cited By	1320
hIndex(all)	18
hIndex(since 2020)	7
i10Index(all)	36
i10Index(since 2020)	3
Email	Access Email
University Profile Page	Imperial College London
Google Scholar	View Google Scholar Profile

Steffen van Bakel Skills & Research Interests

Computer Science

Top articles of Steffen van Bakel

Title	Journal	Author(s)	Publication Date
A Calculus of Delayed Reductions		Steffen Van Bakel Nicolas Wu Emma Tye	2023/10/22
Adding Negation to Lambda Mu	Logical Methods in Computer Science	Steffen Van Bakel	2023/5/25
Understanding Call By Push Value through λµ µ		Steffen van Bakel Emma Tye Nicholas Wu	2022
Theorem Proving in Classical Logic		David Davies Steffen van Bakel Nicolas Wu	2021/6/16