Proceedings Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday

Electronic Proceedings in Theoretical Computer Science 2026 Open access

Read full text
Authors: Thorsten Altenkirch, Franco Barbanera, Ferruccio Damiani, Ugo de’Liguoro
DOI: 10.4204/eptcs.441.0
Cited by: 0
References: 18

Fields of Study & Subjects

Logic programming and type systems Computability AI Algorithms Reasoning and Knowledge

Publication details

Journal / source
Electronic Proceedings in Theoretical Computer Science
Volume
441
Publication date
3 March 2026
Language
EN