Search Results - Dijkstra, Gabe

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Quotient inductive-inductive definitions

    Quotient inductive-inductive definitions by Dijkstra, Gabe

    Published 2017
    Get full text
  2. 2
    Quotient inductive-inductive types

    Quotient inductive-inductive types by Altenkirch, Thorsten, Capriotti, Paolo, Dijkstra, Gabe, Nordvall Forsberg, Fredrik Nordvall Forsberg

    Published 2017
    Get full text

Search Tools: