Items where Author is "Haiyan, Qiao"
Group 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.