Andrea Asperti

Subjects

Programming languages (electronic computers), Automatic theorem proving, Cate gorie, Cate gories (Mathe matiques), Categori as (Matema ticas), Categoriee n (wiskunde), Categories (Mathematics), Categories (mathematics), Categorieën (wiskunde), Categorías (Matemáticas), Catégorie, Catégories (mathématiques), Computer science, mathematics, Datenstruktur, Functional programming languages, Information storage and retrieval systems, Kategorie (Mathematik), Kategorientheorie, Langage programmation, Langages de programmation, Mathematics, data processing, Programmiersprache, Programming languages (Electronic computers), Se mantique langage programmation, Structure