| Authors: | Ghilezan, Silvia | Title: | Some restricted classes of typed lambda terms | First page: | 61 | Last page: | 67 | Related Publication(s): | Proceedings | Conference: | Seventh Conference Algebra and Logic, Maribor, Slovenia (1990) | Issue Date: | 1990 | Rank: | M33 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.