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

Page view(s)

13
checked on Feb 8, 2023

Google ScholarTM

Check


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