Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Nominal sets in Coq

Participants : Cyril Cohen, Nicolas Tabareau, Matthieu Sozeau, Gabriel Lewertoski.

Cyril Cohen collaborated with members of the team π.r2 on the implementation of nominal sets in Coq.