Showing 1 - 2 results of 2 for search 'Zena M. Ariola', query time: 0.02s Refine Results
  1. 1
    Compiling With Classical Connectives

    Compiling With Classical Connectives by Paul Downen, Zena M. Ariola

    Published 2020-08-01
    Get full text
    Article
  2. 2
    First Class Call Stacks: Exploring Head Reduction

    First Class Call Stacks: Exploring Head Reduction by Philip Johnson-Freyd, Paul Downen, Zena M. Ariola

    Published 2016-06-01
    Get full text
    Article

Search Tools: