Results

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: Conference Paper
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/5156
https://enauka.gov.rs/handle/123456789/930899
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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