Rezultati

eNauka >  Results >  Reducibility method in simply typed lambda calculus
Title : Reducibility method in simply typed lambda calculus
Authors: Ghilezan, Silvia  ; Kunčak, Viktor
Issue Date: 2000
Publication: XIV Conference on Applied Mathematics PRIM, Palić, June 2000
Type: Konferencijski rad
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/5156
https://enauka.gov.rs/handle/123456789/930899
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.