Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract).

Giovanni Sambin Silvio Valentini Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract). 69-70 1993 conf/kgc/1993 Kurt Gödel Colloquium db/conf/kgc/kgc93.html#SambinV93