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

Page view(s)

checked on May 9, 2024

Google ScholarTM


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