2 search results - page 1 / 1 » Dialectica Interpretation with Marked Counterexamples |
27
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
G
CC
2003
Springer
15 years 3 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. ...