Home Advanced Search

Advanced Search - Page 1

Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")
  • PDF
  • English
  • Year: 2011
  • Author: J. R. Hindley, J. P. Seldin
Combinatory logic. / Volume II
  • PDF
  • English
  • Year: 1972.
  • Author: [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
Basic Simple Type Theory
  • DJVU
  • English
  • Year: 1997
  • Author: J Roger Hindley
Basic Simple Type Theory
  • PDF
  • English
  • Year: 1997
  • Author: J. Roger Hindley
Combinatory logic
  • DJVU
  • English
  • Year: 1972
  • Author: Curry H.B., Hindley J.R., Seldin J.P
Oriental Carpet Design: A Guide to Traditional Motifs, Patterns and Symbols
  • PDF
  • English
  • Year: 2008
  • Author: P. R. J. Ford
Bristol Beaufighter
  • PDF
  • English
  • Year: 1979
  • Author: P J R Moyes
Les mutations contemporaines du religieux: Colloque organisé à la Fondation Singer-Polignac le 27 mars 2002
  • PDF
  • French
  • Year: 2003
  • Author: J -R Armogathe, J -P Willaime
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)
search