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

Page view(s)

12
checked on Dec 6, 2022

Google ScholarTM

Check


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