Results

eNauka >  Results >  Natural deduction versus sequent lambda calculus
Title: Natural deduction versus sequent lambda calculus
Authors: Ghilezan, Silvia  
Issue Date: 1997
Publication: Proceedings 3rd Barcelona Logic Meeting, Barcelona, Spain (1997)
Type: Conference Paper
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/5160
https://enauka.gov.rs/handle/123456789/930874
URL: https://sites.dmi.uns.ac.rs/nsjom/Papers/29_2/NSJOM_29_2_209_220.pdf
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.