First Page | Document Content | |
---|---|---|
![]() Date: 2015-09-22 13:54:54Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic | Add to Reading List |