ΠΣ: Dependent Types without the Sugar

by Thorsten Altenkirch , Nils Anders Danielsson , Andres Löh , Nicolas Oury
Citations:3 - 0 self