Authors: Ghilezan, Silvia 
Likavec, Silvia
Title: Reducibility: a ubiguitous method in lambda calculus with intersection types
Journal: Electronic Notes in Theoretical Computer Science
Volume: 70
Conference: Second Workshop on Intersection Types and Related Systems - ITRS '02, July 26 2002, Copenhagen, Denmark
Issue Date: 2002
Rank: M33

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.