User loginNavigation |
SF-calculusSF-calculus builds combinators from two operators S and F that are more expressive than the usual S and K. The reduction rules are SMNX = MX(NX) where the factorable forms are the partially applied operators, i.e. of the form S, SM, SMN, F, FM and FMN. The operators are the atoms while the factorable forms that are applications are compounds. The factorisation combinator cannot be represented within SK-calculus, so that SF-calculus is, in this sense, more expressive than SK-calculus or pure lambda calculus. To fully appreciate this surprising, if not controversial, claim, requires a careful definition of representation. This, and full proofs, are in our paper A combinatorial Account of Internal Structure . Yours, By Barry Jay at 2010-06-25 02:41 | LtU Forum | previous forum topic | next forum topic | other blogs | 19601 reads
|
Browse archivesActive forum topics |
Recent comments
1 hour 39 min ago
6 hours 28 min ago
13 hours 53 min ago
1 day 51 min ago
1 day 6 hours ago
1 day 7 hours ago
1 day 7 hours ago
1 day 8 hours ago
1 day 8 hours ago
1 day 9 hours ago