Reducibility Proofs in the λ-Calculi with Intersection Types

Reference : Reducibility Proofs in the λ-Calculi with Intersection Types


	Document type :	Scientific congresses, symposiums and conference proceedings : Unpublished conference
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/22680

Title :	Reducibility Proofs in the λ-Calculi with Intersection Types
Language :	English
Author, co-author :	Kamareddine, Fairouz [Heriot-Watt University > School of Mathematical and Computer Sciences]
	Rahli, Vincent [Heriot-Watt University > School of Mathematical and Computer Sciences]
	Wells, J. B. [Heriot-Watt University > School of Mathematical and Computer Sciences]
Publication date :	2008
Peer reviewed :	Yes
Event name :	Workshop on Intersection Types and Related Systems (ITRS 2008)
Event date :	March 2008
Permalink :	http://hdl.handle.net/10993/22680
Commentary :	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):

	File	Commentary	Version	Size	Access
Open access	reducibility.pdf		Author preprint	243.03 kB	View/Open

All documents in ORBi^lu are protected by a user license.