On Oct 2, 2012, at 1:41 PM, Asumu Takikawa wrote:
> Hi all,
>
> In PL papers, you often see grammars like the following:
>
> e ::= ... | λx.e | (e e)
> x ∈ Var
>
> In particular, variables are typeset as elements of some set. Often,
> there are other sets that might represent labels, locatio
Hi all,
In PL papers, you often see grammars like the following:
e ::= ... | λx.e | (e e)
x ∈ Var
In particular, variables are typeset as elements of some set. Often,
there are other sets that might represent labels, locations, tags, and
so on.
I don't see an obvious way to do this kind of
2 matches
Mail list logo
