| 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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.