Rechercher

Olivier Pons

Maître de Conférences
Equipe CPR
Mail : olivier.ponscnam.fr
Tel : 0140272874
Fax : (33)15880
http://cedric.cnam.fr/~pons

Publications

2016

2011

2010

2009

2008

2007

2005

2004

2003

    Revue Internationale avec comité de lecture

  • [BCP03] G. Barthe, V. Capretta, O. Pons. "Setoids in type theory", Journal of Functional Programming, vol. 13(2), pp. 261-293, 2003

2002