Weak and Strong Beta Normalisations in Typed λ-Calculi (1997)

Cached

Download Links

by Hongwei Xi
Venue:In: Proc. of the 3 rd International Conference on Typed Lambda Calculus and Applications, TLCA'97
Citations:4 - 1 self