Diagrammes, Tome 22 (1989)

Geodesic

Parcourir par

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

Lafont, Yves

p. 7-13

Good functors... are those preserving philosophy !

Bernot, Gilles

p. 15-29

Sémantique catégorique des constructeurs de types d'ordre supérieur

Ageron, Pierre

p. 31-44

Stable surjection logic

McLarty, Colin

p. 45-57

On a connection between algebra, logic and linguistics

Lambek, J.

p. 59-75

Functorial polymorphism and semantic parametricity

Scott, Philip J.

p. 77-90