Results

eNauka >  Results >  The correspondence between weak implicational logics and typed lambda calculus
Title: The correspondence between weak implicational logics and typed lambda calculus
Authors: Ghilezan, Silvia  
Issue Date: 1989
Publication: Journal of Symbolic Logic (1992), 57: 297
Publisher: Storrs, Connecticut : Association for Symbolic Logic
Type: Conference Paper
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/5169
https://enauka.gov.rs/handle/123456789/930882
Availability note: На основу доступних података није могуће утврдити да ли резултат постоји
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.