| Authors: | Ghilezan, Silvia | Title: | Lambda calculi with intersection types | Related Publication(s): | Proceedings | Conference: | 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden (1991) | Issue Date: | 1991 | Rank: | M34 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.