175 rue du Chevaleret, Paris 13ème.
Jeudi 15 Octobre, 11h, salle 3E91 -- Andreas Abel (LMU, Munich),
Normalization by Evaluation for Dependent Type Theory
<https://www.pps.jussieu.fr/seminaire/sem2009/abstracts/abel>
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire