1 search result for "tag:"keyword: alpha equality""

Showing 1 - 1

coq-cfgv

No documentation

Generic Proofs about Alpha Equality and Substitution

keyword: generic programming keyword: variable bindings keyword: context free grammars keyword: substitution keyword: alpha equality keyword: equivariance category: Computer Science/Lambda Calculi

Abhishek <abhishek.anand.iitg@gmail.com> [http://www.cs.cornell.edu/~aa755/] Vincent Rahli <vincent.rahli@gmail.com> [http://www.cs.cornell.edu/~rahli/]

8.10.0

LGPL

Used by 0 other packages

07 Dec 2019