811 search results - page 163 / 163 » Probabilistic Semantics and Program Analysis |
140
click to vote
CC
2003
Springer
15 years 8 months 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. ...