About this scholarly article

Proof-oriented and Applicative Valuations in Definitions of Algorithms is a scholarly article available to read on EtoBox.