$\newcommand{\defeq}{\mathrel{\mathop:}=}$

## 2009/03/18

### Every suc is a free name

--

Labels:

XOO3/19/2009 9:41 am 說：

Conor McBride 有篇 "I am not a number: I am a free variable"

scm3/21/2009 6:53 am 說：

In this paper, we show how to manipulate syntax with binding using a mixed representation of names for free variables (with respect to the task inhand) and de Bruijn indices for bound variables....