Introduction to combinators and [lambda]-calculus

Introduction to combinators and [lambda]-calculus

Saved in:
Bibliographic Details
Main Author: Hindley, J. Roger
Other Authors: Seldin, J. P
Format: Book
Language:English
Published: Cambridge [Cambridgeshire] New York Cambridge University Press 1986
Series:London Mathematical Society student texts 1
Subjects:
Lambda calculus
Combinatory logic
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-058394
002 000065895
005 2021118105337
008 940511s1986 enka b 00110 eng
020 # # |a 0521318394 
090 # # |a QA9.5  |b .H56 1986 
100 # # |a Hindley, J. Roger 
245 # # |a Introduction to combinators and [lambda]-calculus  |c J. Roger Hindley, Jonathan P. Seldin 
260 # # |a Cambridge [Cambridgeshire]  |a New York  |b Cambridge University Press  |c 1986 
300 # # |a 360 p.  |b ill.  |c 24 cm 
490 # # |a London Mathematical Society student texts  |v 1 
500 # # |a Includes index. 
504 # # |a Bibliography: p. 340-352. 
650 # # |a Lambda calculus 
650 # # |a Combinatory logic 
700 # # |a Seldin, J. P 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=058394 
964 # # |c BOK  |d 01 
040 # # |a Shah Alam 
998 # # |a 00100##a0011.2.2||00245##a0011.2.2||00245##c0011.2.2||00260##a0011.2.2||00260##a002.8.2||00260##b0011.2.2||00260##c0011.2.2||00300##a0011.2.2||00300##b0011.2.2||00300##c0011.2.2||00490##a0011.2.2||00490##v0011.2.2||00500##a0011.2.2||00700##a0011.2.2|| 

Similar Items