Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
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)
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