Graph Transformations

  • Length: 431 pages
  • Publication Date: 2010-12-09

Combinatory Logic: Pure, Applied and Typed

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