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

Page view(s)

12
checked on Nov 24, 2024

Google ScholarTM

Check


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