Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
- Författare
- Venanzio Capretta
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Nature | 2024 | Utgivningsland okänt / Ej specificerat |