most citedImplicative Assemblies

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

math.AT2023★ 1 cited

Implicative Assemblies

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…