Proof, Language, and Interaction
Essays in Honour of Robin Milner
Edición de la obra Proof, language, and interaction
| Autor | Gordon Plotkin, Colin P. Stirling, Mads Tofte |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2018 |
| Idioma | inglés |
| Páginas | 736 |
| ISBN-13 | 9780262281676 |
| Número de Cutter | P729p |