| Authors: | Ghilezan, Silvia | Title: | Resource control in sequent lambda calculus | Conference: | TYPES 2010, 13-16/10/2010, Warsaw, Poland | Issue Date: | 2010 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.