A Formalized General Theory of Syntax with Bindings: Extended Version
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-019-09522-2
Abstract: We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are defined for an arbitrary number of… read more here.
Keywords: theory; formalized general; general theory; syntax bindings ... See more keywords