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

Page view(s)

checked on May 9, 2024

Google ScholarTM


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