Authors: Ghilezan, Silvia 
Title: A note on typed combinators and typed lambda terms
Journal: Review of Research Faculty of Science. Mathematics Series
Volume: 23
Issue: 1
First page: 319
Last page: 329
Issue Date: 1993
ISSN: 0352-0900
The combinatory completeness of the typed theory of combinators and the equality in expressive power of the typed theory of combinators and typed [lambda]-calculus are proved.

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.