conference paper
Reducibility method for termination properties of typed lambda terms
2001
Fifth International Workshop on Termination
Type
conference paper
Author(s)
Date Issued
2001
Published in
Fifth International Workshop on Termination
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record