137 citations · 500 across the 20 of their papers we have counts for
1 paper · 2 filters
Andrej Bauer, Peter LeFanu Lumsdaine
The Bourbaki-Witt principle states that any progressive map on a chain-complete poset has a fixed point above every point. It is provable classically, but not intuitionistically. W…