| Authors: | Ghilezan, Silvia | Title: | Types and confluence in lambda calculus | Conference: | 3rd Panhellenic Logic Symposium - PLS3, Crete, Greece (2001) | Issue Date: | 2001 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.