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

### Cached

### Download Links

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