Formalizing Strong Normalization Proofs
โ
Fairouz Kamareddine; Haiyan Qiao
๐
Article
๐
2003
๐
Springer Netherlands
๐
English
โ 259 KB