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:

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


ESOP 2015Author of Binding Structures as an Abstract Data Type within the ESOP-track
Show activities from other conferences

ESOP 2015-profile
View general profile