Reference : Reducibility Proofs in the λ-Calculi with Intersection Types
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22680
Reducibility Proofs in the λ-Calculi with Intersection Types
English
Kamareddine, Fairouz [Heriot-Watt University > School of Mathematical and Computer Sciences]
Rahli, Vincent mailto [Heriot-Watt University > School of Mathematical and Computer Sciences]
Wells, J. B. [Heriot-Watt University > School of Mathematical and Computer Sciences]
2008
Yes
Workshop on Intersection Types and Related Systems (ITRS 2008)
March 2008
http://hdl.handle.net/10993/22680
Presented to ITRS'08, 4th Workshop on Intersection Types and Related Systems, Turin, Italy, 25 March 2008

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
reducibility.pdfAuthor preprint243.03 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.