Institution. University of Gothenburg link · gu.se · ROR People Evan Cavallo evancavalloPostdoc, Logic and Types group · University of Gothenburg PhD advisorRobert Harper Postdoc advisorAnders Mörtberg, Thierry Coquand PhDCarnegie Mellon University ecavallo.net · 0000-0001-8174-7496 · @ecavallo@mathstodon.xyz Thierry Coquand thierrycoquandProfessor · University of Gothenburg PhD advisorGérard Huet PostdocsEvan Cavallo PhDUniversité Paris Diderot cse.chalmers.se/~coquand · 0000-0002-5429-5153