Linear realizability and full completeness for typed lambda−calculi

Những quyển sách tương tự

• Strong normalisation for applied lambda calculi
  Bằng: Ulrich Berger
  Được phát hành: (2005-10-01)
• Categorical abstract machines for higher-order typed lambda-calculi
  Bằng: Ritter, E
  Được phát hành: (1994)
• Axiomatizing Fully Complete Models for ML Polymorphic Types
  Bằng: Abramsky, S, et al.
  Được phát hành: (2000)
• Labelled Lambda-calculi with Explicit Copy and Erase
  Bằng: Maribel Fernández, et al.
  Được phát hành: (2010-03-01)
• Games and Full Completeness for Multiplicative Linear Logic
  Bằng: Abramsky, S, et al.
  Được phát hành: (1994)