Combinatory logic [electronic resource] : pure, applied and typed / Katalin Bimbo.
Material type: TextSeries: Publication details: Boca Raton : Taylor & Francis, 2012.Description: xi, 345 p. : illISBN:- 9781439800010 (ebook : PDF)
No physical items for this record
Includes bibliographical references (p. 321-330) and index.
There are no comments on this title.