Home
 

Playing with Lego: Some examples of Developing Mathematics in the Calculus of Constructions

Paul Taylor

No abstract available.

ECS-LFCS-89-89

Previous | Index | Next