6 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Mauricio Guillermo, Étienne Miquey
In this paper we treat the specification problem in classical realizability (as defined in [20]) in the case of arithmetical formulæ. In the continuity of [10] and [11], we charact…