17 citations · 17 across the 1 of their papers we have counts for
1 paper
Carlo Angiuli, Robert Harper, Todd Wilson
Brouwer's constructivist foundations of mathematics is based on an intuitively meaningful notion of computation shared by all mathematicians. Martin-Löf's meaning explanations for…