111 search results - page 23 / 23 » Algebraic Effects, Linearity, and Quantum Programming Langua... |
228
Voted
CC
2003
Springer
16 years 19 days ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...