Rappel: le seminaire PPS demain matin 11h !

Bonjour, la prochaine séance du séminaire PPS c'est demain:

Jeudi 13 Janvier, 11h salle 0C02 – Olivier Danvy (BRICS, Aarhus),

Small-step and Big-step Aspects of Computation (A Walk in the Semantic Park)

--  Jean Krivine  Laboratoire PPS CNRS & Université Paris 7 Case 7014 75205 PARIS Cedex 13 FRANCE (W) +33 1 44 27 86 79 (M) +33 6 16 25 49 45