Limits of Computation

  • Length: 279 pages
  • Publication Date: 2012-10-29

Combinatory Logic: Pure, Applied and Typed

  • Length: 357 pages
  • Publication Date: 2011-07-27
5.0