Towards an enumeration of finite common meadows.
Int. J. Algebra Comput., September, 2024
Strong Convergence for the Alternating Halpern-Mann Iteration in CAT(0) Spaces.
SIAM J. Optim., 2023
Stateful Realizers for Nonstandard Analysis.
Log. Methods Comput. Sci., 2023
On the convergence of algorithms with Tikhonov regularization terms.
Optim. Lett., 2021
A parametrised functional interpretation of Heyting arithmetic.
Ann. Pure Appl. Log., 2021
Fundamental group in o-minimal structures with definable Skolem functions.
Ann. Pure Appl. Log., 2021
Realizability with Stateful Computations for Nonstandard Analysis.
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
Intuitionistic nonstandard bounded modified realisability and functional interpretation.
Ann. Pure Appl. Log., 2018
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic.
Math. Log. Q., 2017
Axiomatics for the external numbers of nonstandard analysis.
J. Log. Anal., 2017
Algebraic properties of external numbers.
J. Log. Anal., 2011