People
Events
Research
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