conf.researchr.org / Alberto Momigliano
Registered user since Mon 17 Apr 2017
Name: Alberto Momigliano
Affiliation: Università degli Studi di Milano
Personal website: http://momigliano.di.unimi.it/
Contributions
| CPP 2018 | Committee Member in Program Committee within the CPP 2018-track |
| TTT 2017 | Author of A Case Study in Programming Coinductive Proofs in Beluga: Howe's Method within the TTT-track |