Results

eNauka >  Results >  A note on typed combinators and typed lambda terms
Naziv: A note on typed combinators and typed lambda terms
Autori: Ghilezan, Silvia  
Godina: 1993
Publikacija: Review of Research Faculty of Science. Mathematics Series
ISSN: 0352-0900 Pretraži identifikator
Izdavač: Novi Sad : Prirodno matematički fakultet
Tip rezultata: Naučni članak
Kolacija: str. 319-329
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/5164
https://enauka.gov.rs/handle/123456789/930869
URL: https://sites.dmi.uns.ac.rs/nsjom/Papers/23_1/NSJOM_23_1_319_329.pdf
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Find the DOI

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