43 citations · 77 across the 16 of their papers we have counts for
1 paper · 2 filters
Federico Aschieri
In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fr…