Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Imperial College London
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
Note on a simple type system for non-interference
Proceedings Third International Workshop on Classical Logic and Computation
Reduction in X does not agree with Intersection and Union Types (Extended abstract)
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming
No associations
LandOfFree
Steffen van Bakel does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Steffen van Bakel, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Steffen van Bakel will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-253022