Refine your search

• Availability

  • Limit to currently available items

• Authors

  • Burge, William H. (1)
  • Hindley, J. Roger (1)
  • Seldin, Jonathan P (1)

• Collections

  • Non Fiction (2)

• Holding libraries

  • Main (2)

• Home libraries

  • Main (2)

• Item types

  • Books (2)

• Series

  • London Mathematical ... (1)
  • The systems programm... (1)

• Topics

  • Combinatory logic (2)
  • Lambda calculus (1)
  • Recursive programmin... (1)