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
Contributions
| ESOP 2015 | Author of Binding Structures as an Abstract Data Type within the ESOP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESOP 2015-profile
View general profile
View general profile