Showing 1 - 5 results of 5 for search 'Matache, C', query time: 0.02s Refine Results
  1. 1
    Concrete sheaf models of higher-order recursion

    Concrete sheaf models of higher-order recursion by Matache, C

    Published 2022
    Thesis
  2. 2
    A sound and complete logic for algebraic effects

    A sound and complete logic for algebraic effects by Staton, S, Matache, C

    Published 2019
    Conference item
  3. 3
    Recursion and sequentiality in categories of sheaves

    Recursion and sequentiality in categories of sheaves by Matache, C, Moss, S, Staton, S

    Published 2021
    Conference item
  4. 4
    Concrete categories and higher-order recursion

    Concrete categories and higher-order recursion by Matache, C, Moss, S, Staton, S

    Published 2022
    Conference item
  5. 5
    Scoped effects as parameterized algebraic theories

    Scoped effects as parameterized algebraic theories by Lindley, S, Matache, C, Moss, S, Staton, S, Wu, N, Yang, Z

    Published 2024
    Conference item

Search Tools: