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