Loading...
conference paper
Reducibility method for termination properties of typed lambda terms
2001
Fifth International Workshop on Termination
Type
conference paper
Authors
Publication date
2001
Published in
Fifth International Workshop on Termination
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record