%0 Journal Article
%A Umberto Tarantino
%T A category of arrow algebras for modified realizability
%J Theory and applications of categories
%D 2025
%P 132-180
%V 44
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2025_44_a3/
%G en
%F TAC_2025_44_a3