The Software Analogy:Abstract Datatype Approach to Consistency

The Software Analogy:Abstract Datatype Approach to Consistency

(The Lambda Calculus)

(??)

Previous slide

Next slide

Back to the first slide

View Graphic Version