An introduction to combinators and the λ-calculus/

Main Author: Hindley, J. Roger
Other Authors: Seldin, J. P.
Format: Book
Language:English
Published: Cambridge: Cambridge University Press, c1986
Series:London Mathematical Society student texts ; 1
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών511.6 HinJ i 19861ΠροβολήOPAC