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

Page view(s)

checked on Feb 22, 2024

Google ScholarTM


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