Search This Blog

Pure, Declarative, and Constructive Arithmetic Relations. Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, and Chung-chieh Shan. FLOPS 2008
Pure, Declarative, and Constructive Arithmetic Relations | Lambda the Ultimate

Blogged with Flock

0 comments