@article{TAC_2025_44_a3,
     author = {Umberto Tarantino},
     title = {A category of arrow algebras for modified realizability},
     journal = {Theory and applications of categories},
     pages = {132--180},
     publisher = {mathdoc},
     volume = {44},
     year = {2025},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2025_44_a3/}
}