Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910039249256448 |
|---|---|
| author | Altenkirch, Thorsten Barbanera, Franco Damiani, Ferruccio de'Liguoro, Ugo |
| author_facet | Altenkirch, Thorsten Barbanera, Franco Damiani, Ferruccio de'Liguoro, Ugo |
| contents | Proof Theory and Type Theory are two branches of mathematical logic and theoretical computer science that explore the structure of mathematical proofs and the foundations of computation. Both are crucial for understanding formal systems, programming languages, and constructive mathematics. Stefano Berardi is an influential researcher in these fields, particularly known for his work on constructive logic, dependent types, and more recently, cyclic proofs. These proceedings intend to collect papers by researchers who are active in the field and often have been coauthors of Stefano, aimed to illustrate the achievements and the perspectives of this research area. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_02912 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday Altenkirch, Thorsten Barbanera, Franco Damiani, Ferruccio de'Liguoro, Ugo Logic in Computer Science Proof Theory and Type Theory are two branches of mathematical logic and theoretical computer science that explore the structure of mathematical proofs and the foundations of computation. Both are crucial for understanding formal systems, programming languages, and constructive mathematics. Stefano Berardi is an influential researcher in these fields, particularly known for his work on constructive logic, dependent types, and more recently, cyclic proofs. These proceedings intend to collect papers by researchers who are active in the field and often have been coauthors of Stefano, aimed to illustrate the achievements and the perspectives of this research area. |
| title | Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2603.02912 |