(1 - 17 von 18
)
Types for Proofs & Programs, 2-5 Mar 2020, Torino, Italyuva.nl
resources.illc.uva.nl
— INVITED SPEAKERS * Ulrik Buchholtz * Pierre Marie-Pdrot * Leonardo de Moura * Sara Negri The ITRS workshop aims to bring together ...
sortiert nach Relevanz / Datum