Authors: Ghilezan, Silvia 
Kunčak, Viktor
Likavec, Silvia
Title: Reducibility method for termination properties of typed lambda terms
Journal: Extended abstracts of the 5th International Workshop on Termination, (WST'01)
First page: 14
Last page: 16
Conference: 5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001)
Issue Date: 2001

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM


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