Results
| Title: | Typed combinators and typed lambda terms | Authors: | Ghilezan, Silvia   |
Issue Date: | 1990 | Publication: | Third Logical Biennial Kleene'90, Chaika, Bulgaria | Type: | Conference Paper | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/5168 https://enauka.gov.rs/handle/123456789/930873 |
M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.