Authors: Ghilezan, Silvia 
Title: Natural deduction versus sequent lambda calculus
Related Publication(s): Proceedings
Conference: 3rd Barcelona Logic Meeting, Barcelona, Spain (1997)
Issue Date: 1997

Show full item record

Page view(s)

7
checked on Feb 22, 2024

Google ScholarTM

Check


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