檢索結果 - Egbert Rijke

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Modalities in homotopy type theory 由 Egbert Rijke, Michael Shulman, Bas Spitters

    發表在 Logical Methods in Computer Science (2020-01-01)
    獲取全文
    Article


  2. 2

    Algebraic Presentations of Type Dependency 由 Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North, Egbert Rijke

    發表在 Logical Methods in Computer Science (2025-02-01)
    獲取全文
    Article


檢索工具: