That it!
That’s just about the full definition of the ?-calculus
Previous slide
Next slide
Back to first slide
View graphic version