| 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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.