Next:
Remarks on -inductive
Up:
Class notes 13
Previous:
Class notes 13
Plan
Some remarks on
-inductive types
An example Stream implementation
Classification of Mathematics studied so far
Preview of
-calculus