2. T: Type
3. G: Grammar(V;T)
4. l: (V+T)*
a:((V+T)* List
). l = a[0] & (
i:
(||a||-1). a[i] 
a[(i+1)]) & a[(||a||-1)] = l V,T:Type, G:Grammar(V;T), l:(V+T)*. l l| 1 | 1. V: Type 2. T: Type 3. G: Grammar(V;T) 4. l: (V+T)* a:((V+T)* List). l = a[0] & (i:(||a||-1). a[i] a[(i+1)]) & a[(||a||-1)] = l |
About:
 |  |  |  |  |
 |  |  |  |  |