Publications:

  1. Polymorphism Meets Dependently Typed Higher-Order Logic.
     Rhea Ranalter, Florian Rabe, Cezary Kaliszyk @ FSCD, 2026
    doi: 10.4230/LIPIcs.FSCD.2026.27
  2. The Dependently Typed Higher-Order Form for the TPTP World.
     Daniel Ranalter, Cezary Kaliszyk, Florian Rabe, Geoff Sutcliffe @ FroCoS, 2025
    doi: 10.1007/978-3-032-04167-8
  3. Experiments with Choice in Dependently-Typed Higher-Order Logic.
     Daniel Ranalter, Chad E. Brown, Cezary Kaliszyk @ LPAR, 2024
    doi: 10.29007/2v8h
    4. See also here for a more up-to-date list.
    Note that the provided PDFs are preprints.