|
|||||
|
|
Nominal abstraction |
|
| Authors: | Andrew Gacek Dale Miller |
| Affiliation: | a Department of Computer Science and Engineering, University of Minnesota, 200 Union Street SE, Minneapolis, MN 55455, USA b INRIA Saclay, Île-de-France & LIX/École polytechnique, Route de Saclay, 91128 Palaiseau Cedex, France |
| Abstract: | |
| Keywords: | Generic judgments Higher-order abstract syntax _method=retrieve& _eid=1-s2 0-S0890540110001562& _mathId=si1 gif& _pii=S0890540110001562& _issn=08905401& _acct=C000051805& _version=1& _userid=1154080& md5=6b4ca5f00c0bfa19e2b5720bf30e22a2')" style="cursor:pointer λ-Tree syntax" target="_blank">" alt="Click to view the MathML source" title="Click to view the MathML source">λ-Tree syntax Proof search Reasoning about operational semantics |
| 本文献已被 ScienceDirect 等数据库收录！ | |