The Lazy λ−Calculus

Míreanna comhchosúla

• Full Abstraction in the Lazy λ−calculus
  de réir: Abramsky, S, et al.
  Foilsithe / Cruthaithe: (1993)
• Games and Full Abstraction for the Lazy λ−calculus
  de réir: Abramsky, S, et al.
  Foilsithe / Cruthaithe: (1995)
• Fully Complete Minimal PER Models for the Simply Typed λ−calculus
  de réir: Abramsky, S, et al.
  Foilsithe / Cruthaithe: (2001)
• Automata, logic and games for the λ-calculus
  de réir: Ong, C
  Foilsithe / Cruthaithe: (2016)
• Hereditary Substitution for the λΔ-Calculus
  de réir: Harley Eades, et al.
  Foilsithe / Cruthaithe: (2013-09-01)