2 search results for "tag:"keyword: substitution""

Showing 1 - 2
  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
  2. coq-dblib

    No documentation

    Dblib
    keyword: abstract syntax keyword: binders keyword: de Bruijn indices keyword: shift keyword: lift keyword: substitution category: Computer Science/Lambda Calculi
    Francois Pottier <francois.pottier@inria.fr> [http://gallium.inria.fr/~fpottier/]
    8.8.0
    GPL
    Used by 0 other packages
    06 Feb 2019