| Authors: | Ghilezan, Silvia | Title: | Typed combinators and typed lambda terms | Related Publication(s): | Proceedings | Conference: | Third Logical Biennial Kleene'90, Chaika, Bulgaria | Issue Date: | 1990 | Rank: | M34 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.