1. Combinatory logic : pure, applied and typed /: pure, applied and typed. (©2012) Other Names: Bimbó, Katalin, 1963- Record Type: Book Extent: 1 online resource (xi, 345 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗