1 search result for "author:"Francois Pottier <francois.pottier@inria.fr> [http://gallium.inria.fr/~fpottier/]""

keyword: abstract syntax keyword: binders keyword: de Bruijn indices keyword: shift keyword: lift keyword: substitution category: Computer Science/Lambda Calculi