Proof, language, and interaction
essays in honour of Robin Milner
Edición de la obra Proof, language, and interaction
| Autor | G. Plotkin, Colin P. Stirling, Mads Tofte |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2000 |
| Lugar | Cambridge, Mass |
| Idioma | inglés |
| Páginas | 722 |
| Formato | [electronic resource] : |
| ISBN-10 | 0585388903 |
| OCLC | 49569073 |