Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types
Studies in Logic and the Foundations of Mathematics
doi 10.1016/s0049-237x(08)70217-9
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1994
Authors
Publisher
Elsevier