alpha-equivalence

There are 0 repository under alpha-equivalence topic.

brendanzab / moniker
Automagical variable binding library for Rust
rust programming-languages derive locally-nameless debruijn-indices alpha-equivalence variable-binding abstract-binding-trees unbound
Language:Rust 67
jgrosso / coq-alpha-pearl
Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).
coq alpha-equivalence coq-formalization programming-languages
Language:Coq 5