Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) ⋆

by Oleg Kiselyov , William E. Byrd , Daniel P. Friedman , Chung-chieh Shan

Document Versions

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) ⋆ –Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) ⋆ –Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan