14 citations · 46 across the 8 of their papers we have counts for
1 paper · 1 filter
Félix Castro, Alexandre Miquel, Krzysztof Worytkiewicz
Implicative algebras, recently discovered by Miquel, are combinatorial structures unifying classical and intuitionistic realizability as well as forcing. In this paper we introduce…