Actes Volume 1. Journées d'études esquisses, logique et informatique théorique

Journées E.L.I.T. (Esquisses, Logique et Informatique Théorique)
DIA
p. 5-6
Primitive recursive categories and machines
p. 7-13
Good functors... are those preserving philosophy !
p. 15-29
Sémantique catégorique des constructeurs de types d'ordre supérieur
p. 31-44
Stable surjection logic
p. 45-57
On a connection between algebra, logic and linguistics
p. 59-75
Functorial polymorphism and semantic parametricity
p. 77-90