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

Registered user since Sun 4 Jan 2015

Name:Wilmer Ricciotti
Affiliation:University of Toulouse
Research interests:Interactive theorem provers, encoding of binding structures, formalization of mathematics


ESOP 2015 Binding Structures as an Abstract Data Type
Show activities from other conferences

ESOP 2015-profile
View general profile