17 August 2006

The Σ calculus Part 4

Let us conclude (for now) our exploration of the Σ calculus by introducing
one new postulate and one more theorem.

Continued

0 Comments:

Post a Comment

<< Home