Luigi Liquori, Simona Ronchi Della Rocca. Towards an Intersection Typed System à la Church.
Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) Intersection Types and Related Systems 2004, Jul 2004, Turku, Finland. pp.43-56,
⟨10.1016/j.entcs.2005.06.015⟩.
⟨hal-01149611⟩