ArticlesIntersection Typed λ-calculus
Under a Creative Commons license
open access
Cited by (0)
- 1
partially supported by MIUR-cofin-2000 “Linear Logic and Beyond”
- 2
partially supported by EC-TMR project “Linear Logic”
- 3
partially supported by IST-2001-33477 DART Project
Copyright © 2003 Published by Elsevier B.V.