| Authors: | Ghilezan, Silvia | Title: | Cut elimination in the simply typed lambda calculus | First page: | 21 | Last page: | 24 | Related Publication(s): | Proceedings | Conference: | Panhellenic Logic Symposium, Nicosia, Cyprus (1997) | Issue Date: | 1997 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.