• Manifestations scientifiques,

Proofs ans programs: from semantics to complexity

Publié le 3 mai 2013 – Mis à jour le 13 février 2015

Colloque organisé par l'Institut de recherches philosophiques de Lyon (IRPhiL).

Proofs ans programs: from semantics to complexity
Logical and philosophical issues in contemporary proof-theory


Coordination: Jean-Baptiste JOINET
jean-baptiste.joinet@univ-lyon3.fr


Contact :
Nazaré Marques
IRPhiL EA 4187 - Institut de Recherches Philosophiques de Lyon
18 rue Chevreul - 69007 Lyon
Tél. : 04 78 78 73 94 - Fax : 04 78 78 72 27
nazare.marques@univ-lyon3.fr
Contact :
Nazaré Marques : nazare.marques@univ-lyon3.fr
Thématiques :
Manifestations scientifiques