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
Publisher City : Amsterdam
Publisher country : Pays-Bas
Language : English
Collation : appendix#table#23 cm#rel. ; Bibliogr. ; Index
Series : Studies in logic and the foundations of mathematics
Location : Ouvrage RdC (CURR)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00000178 | [available] |