LIPIcs.CSL.2024.1.pdf
- Filesize: 429 kB
- 4 pages
Document
The Ackermann Award 2023
Authors
Maribel Fernández 
,
-
Part of:
Volume:
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Computer Science Logic (CSL) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-02-07
File
Document Identifiers
Author Details
Cite As Get BibTex
Maribel Fernández, Jean Goubault-Larrecq, and Delia Kesner. The Ackermann Award 2023. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 1:1-1:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.CSL.2024.1
Abstract
Report on the 2023 Ackermann Award.
Subject Classification
ACM Subject Classification
- Theory of computation → Logic and verification
- Theory of computation → Lambda calculus
- Theory of computation → Equational logic and rewriting
Keywords
- lambda-calculus
- computational complexity
- geometry of interaction
- abstract machines
- intersection types
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads