Search results

  • Full text

  • Document type

  • Organisation

Results: 1
Number of items: 1
  • Open Access
    Otten, D., & van den Berg, B. (2024). Conservativity of Type Theory over Higher-Order Arithmetic. In A. Murano, & A. Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic: CSL 2024, February 19-23, 2024, Naples, Italy Article 44 (Leibniz International Proceedings in Informatics; Vol. 288). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2024.44
Page of