Lambda calculi : a guide for computer scientists / Chris Hankin

By:

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Graduate texts in computer science ; 3Publisher: Oxford [u.a.] : Clarendon Press, 1994Description: XIII, 162 SISBN:

Subject(s):

MSC: MSC: *68W30 | 68-01 | 68Q55 | 68Q45RVK: RVK: ST 130 | SK 130 | ST 120Call number: Grundsignatur: 94 A 4699PPN: PPN: 276492781

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Freihandbestand ausleihbar	Bibliothek Campus Süd	math 1.4	Lesesaal Technik (LST)	94 A 4699	Available		44333484090

Total holds: 0