| Authors: | Ghilezan, Silvia | Title: | Intersection types in lambda calculus and logic | Issue Date: | 1993 | Rank: | M70 | Publisher: | Prirodno-matematički fakultet, Univerzitet u Novom Sadu |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.