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