Home
> Uncategorized > Rules of lambda epsilon calculus
Rules of lambda epsilon calculus
I updated the paper on lambda epsilon calculus. See the link to the actual version (updated daily) or check the arxiv article, which will be updated as soon as a stable version will emerge.
Here are the rules of this calculus:
(beta *) ![(x \lambda A) \varepsilon B= (y \lambda (A[x:=B])) \varepsilon B](http://s0.wp.com/latex.php?latex=%28x+%5Clambda+A%29+%5Cvarepsilon+B%3D+%28y+%5Clambda+%28A%5Bx%3A%3DB%5D%29%29+%5Cvarepsilon+B&bg=ffffff&fg=555555&s=0 "(x \lambda A) \varepsilon B= (y \lambda (A[x:=B])) \varepsilon B")
(R1) (Reidemeister one) if 
(R2) (Reidemeister two) if 
(ext1) (extensionality one) if
(ext2) (extensionality two) if
These are taken together with usual substitution and 
The relation between the operations from 
Comments (0)
Trackbacks (2)
Leave a comment
Trackback
-
May 11, 2012 at 5:10 pm | #1The neuron unit | chorasimilarity
-
May 15, 2012 at 2:09 pm | #2Scaled lambda epsilon | chorasimilarity
Leave a Reply
Each blog post by chorasimilarity is licensed under a Creative Commons Attribution 3.0 Unported License.
Permissions beyond the scope of this license may be available at http://imar.ro/~mbuliga/.
