Laura Fontanella, Guillaume Geoffroy, Richard Matthews: Realizability Models for Large Cardinals, In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 28:1-28:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) [10.4230/LIPIcs.CSL.2024.28]