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

Page view(s)

checked on May 9, 2024

Google ScholarTM


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