Accueil
 
  • Revues
  • Séminaires
  • Livres
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Livres
  • Thèses
  • Auteurs
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • 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
  • À propos
  • Aide
  • Mentions légales
  • Contact
 

Développé par

 

Soutenu par

 
 

Partenaire de