Playing with Lego
Some examples of developing mathematics in the calculus of constructions.
Edición de la obra Playing with Lego
| Autor | Paul Taylor |
|---|---|
| Editorial | University of Edinburgh, Laboratory for Foundations in Computer Science |
| Fecha de publicación | 1989 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 32 |
| Serie | LFCS report series -- ECS-LFCS-89-89 |
| Número de Cutter | T245p |