The Lazy λ−Calculus

समान संसाधन

• Full Abstraction in the Lazy λ−calculus
  द्वारा: Abramsky, S, और अन्य
  प्रकाशित: (1993)
• Games and Full Abstraction for the Lazy λ−calculus
  द्वारा: Abramsky, S, और अन्य
  प्रकाशित: (1995)
• Fully Complete Minimal PER Models for the Simply Typed λ−calculus
  द्वारा: Abramsky, S, और अन्य
  प्रकाशित: (2001)
• Automata, logic and games for the λ-calculus
  द्वारा: Ong, C
  प्रकाशित: (2016)
• Hereditary Substitution for the λΔ-Calculus
  द्वारा: Harley Eades, और अन्य
  प्रकाशित: (2013-09-01)