Items where Author is "Haiyan, Qiao"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Haiyan, Qiao (1998) Formalising Strong Normalisation Proofs of the Explicit Substitution Calculi in ALF1. MSc(R) thesis, University of Glasgow.
In this section
Haiyan, Qiao (1998) Formalising Strong Normalisation Proofs of the Explicit Substitution Calculi in ALF1. MSc(R) thesis, University of Glasgow.