Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Mots-clés
Full text
Previous
Diagrammes
Volume 22 (1989)
Next
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