Cargando…
From lambda calculus to cybersecurity through program analysis: essays dedicated to Chris Hankin on the occasion of his retirement
This Festschrift celebrates Chris Hankin's career and was written on the occasion of his retirement. The volume collects contributions from colleagues, collaborators, and friends on various research themes that have marked Chris’ career, namely Logic and Type Theory for Programming Languages; P...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2020
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-030-41103-9 http://cds.cern.ch/record/2711900 |