Altenkirch, Thorsten, Kaposi, Ambrus, "Towards a cubical type theory without an interval", Leibniz International Proceedings in Informatics, 2025