36 search results - page 8 / 8 » An Abstract Analysis Framework for Synchronous Concurrent La... |
CC
2003
Springer
14 years 17 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. ...