Binary Refinement Implies Discrete Expon
โ
Peter Aczel; Laura Crosilla; Hajime Ishihara; Erik Palmgren; Peter Schuster
๐
Article
๐
2006
๐
Springer Netherlands
๐
English
โ 165 KB