ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom

Registered user since Sun 4 Jan 2015

Name: Wilmer Ricciotti

Country: Italy

Affiliation: University of Toulouse

Personal website: http://www.irit.fr/~Wilmer.Ricciotti/

Research interests: Interactive theorem provers, encoding of binding structures, formalization of mathematics

ESOP 2015 Activities

ESOP 2015-profile
View general profile