Pubblicazioni

Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

2015 - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Guerrini, Stefano; Barendrengt, Henk; Piperno, Adolfo

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma