Diagrammes, Tome 22 (1989)

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)

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

Scott, Philip J.

p. 77-90