Combinatory logic. Vol. 1 :
incompressible flow
Curry, Haskell B. (Principal) ; Feys, Robert (Co-auteur) ; Craig , William (Co-auteur)
1974
417 p.
00000178
fonctionnalité # lambda conversion # logique combinatoire # logique combinatoire illative # système formel # théorie intuitive des combinateurs # théorie synthétique des combinateurs # théorème de Church- Rosser # épithéorie
Ville d'édition : Amsterdam
Pays d'édition : Pays-Bas
Langue : Anglais
Collation : appendix#table#23 cm#rel. ; Bibliogr. ; Index
Collection : Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (CURR)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00000178 | [disponible] |