Lambda-calculus and combinators, an introduction /

समान संसाधन

• Lambda-calculus and combinators, an introduction /
  द्वारा: Hindley, J. Roger
  प्रकाशित: (2008)
• Estimation of lifetime characteristics using generalized LAMBDA distribution (PhD Thesis) /
  प्रकाशित: (2008)
• Proofs and types /
  द्वारा: Girard, Jean-Yves
  प्रकाशित: (1989)
• Introduction to combinatory logic
  द्वारा: Hindley, J. Roger
  प्रकाशित: (1972)
• Income modeling using quantile functions(Thesis)
  द्वारा: Haritha N Haridas
  प्रकाशित: (2007)