Non-Idempotent Typing Operators, Beyond the Lambda-calculus.

par Pierre Vial

Thèse de doctorat en Informatique

Sous la direction de Delia Kesner et de Damiano Mazza.

Thèses en préparation à Sorbonne Paris Cité , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec PPS - PREUVES PROGRAMMES ET SYSTEMES (equipe de recherche) depuis le 14-11-2014 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.