Logical Semantics for Stability☆
Under a Creative Commons license
open access
Keywords
λ-calculus
logical semantics
intersection type assignment systems
coherence spaces
Cited by (0)
- ☆
Paper partially supported by MIUR-PRIN'07 CONCERTO Project.
Copyright © 2009 Elsevier B.V.