On the expressive power of schemes
โ
Gilles Dowek; Ying Jiang
๐
Article
๐
2011
๐
Elsevier Science
๐
English
โ 227 KB