Lambda-calculus and combinators, an introduction /

অনুরূপ উপাদানগুলি

• Lambda-calculus and combinators, an introduction /
  অনুযায়ী: Hindley, J. Roger
  প্রকাশিত: (2008)
• Proofs and types /
  অনুযায়ী: Girard, Jean-Yves
  প্রকাশিত: (1989)
• Introduction to combinatory logic
  অনুযায়ী: Hindley, J. Roger
  প্রকাশিত: (1972)
• Estimation of lifetime characteristics using generalized LAMBDA distribution (PhD Thesis) /
  প্রকাশিত: (2008)
• Principles of statutory intepretation/14th ed. including the general clauses act, 1897 with notes
  অনুযায়ী: Singh, G P
  প্রকাশিত: (2016)