| Authors: | Ghilezan, Silvia | Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Intersection types and topologies in lambda calculus | Related Publication(s): | Proceedings | Conference: | Workshop on Intersection Types and Related Systems, (ITRS'00) Geneva, Switzerland (2000) | Issue Date: | 2000 | Rank: | M33 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.