Fully Complete Minimal PER Models for the Simply Typed λ−calculus

Míreanna comhchosúla

• A Fully Complete PER Model for ML Polymorphic Types
  de réir: Abramsky, S, et al.
  Foilsithe / Cruthaithe: (2000)
• Axiomatizing Fully Complete Models for ML Polymorphic Types
  de réir: Abramsky, S, et al.
  Foilsithe / Cruthaithe: (2000)
• Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
  de réir: Naokata Shikuma, et al.
  Foilsithe / Cruthaithe: (2008-09-01)
• The Lazy λ−Calculus
  de réir: Abramsky, S
  Foilsithe / Cruthaithe: (1990)
• Full Abstraction in the Lazy λ−calculus
  de réir: Abramsky, S, et al.
  Foilsithe / Cruthaithe: (1993)