Comparing syntax trees modulo alpha conversion

Comparing syntax trees modulo alpha conversion



1.haskell - Comparing syntax trees modulo alpha conversion ...

Description:I am working on a compiler/proof checker, and I was wondering,
if I had a syntax tree such as this, for example: data Expr = Lambdas (Set
String) Expr | Var ...



2.comparing syntax trees modulo alpha conversion ...

Description:Hello, I am trying to use Frank Luna's great, great shader
book to render terrain with billboarded trees that are alpha tested, but
also use shadow ma - Search ...



3.lambda calculus - Alpha conversion on a Haskell expression ...

Description:Given a Haskell expression, I'd like to perform alpha
conversion, ie. rename some of the non free variables. ... Comparing
syntax trees modulo alpha conversion. 2



4.CiteSeerX — Citation Query Substitution revisited

Description:... alpha-conversion itself, (4) ... but often technically
incorrect uses of structural recursion and induction for abstract syntax
trees modulo á-equivalence.



5.CiteSeerX — Citation Query Five axioms of alpha ...

Description:... Five axioms of alpha-conversion, in. Documents; Authors;
... encode syntax modulo renaming of ... versions of these principles for
abstract syntax trees. ...



6.Alpha-Structural Recursion and Induction - Springer

Description:... but often technically incorrect uses of structural
recursion and induction for abstract syntax trees modulo ... syntax trees.
Page %P ... alpha-conversion ...



7.Abstract syntax for variable binders: An overview

Description:... equality up to alpha-conversion, substitu-tion, ... 4 A
weaker form of fl-conversion Unification modulo ...
incorporates ‚-tree syntax must also provide an ...



8.A New Approach to Abstract Syntax - Computer Laboratory

Description:... Abstract syntax; Alpha-conversion; ... notion of
á-conversion from the syntax trees of ë ... ë-terms modulo á-conversion.
(Compare them with ...



9.A New Approach to Abstract Syntax Involving Binders

Description:... alpha-conversion, ... can correctly encode object-level
syntax modulo alpha-conversion. ... This paper presents a new method for
comparing computational ...



10.Alpha-structural recursion and induction

Description:... but often technically incorrect uses of structural
recursion and induction for abstract syntax trees modulo ... abstract
syntax trees. ... Alpha-Conversion, ...