21 citations · 70 across the 12 of their papers we have counts for
1 paper · 1 filter
Danko Ilik
A class of models is presented, in the form of continuation monads polymorphic for first-order individuals, that is sound and complete for minimal intuitionistic predicate logic. T…