Reducibility method for termination properties of typed lambda terms
2001
Details
Title
Reducibility method for termination properties of typed lambda terms
Author(s)
Ghilezan, Silvia ; Kuncak, Viktor ; Likavec, Silvia
Published in
Fifth International Workshop on Termination
Date
2001
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21