User loginNavigation 
SFcalculusSFcalculus 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 SKcalculus, so that SFcalculus is, in this sense, more expressive than SKcalculus 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 20100625 02:41  LtU Forum  previous forum topic  next forum topic  other blogs  15989 reads

Browse archivesActive forum topics
New forum topics

Recent comments
23 hours 21 min ago
2 days 17 hours ago
1 week 6 days ago
2 weeks 5 days ago
3 weeks 5 days ago
5 weeks 4 days ago
5 weeks 6 days ago
7 weeks 17 hours ago
7 weeks 4 days ago
7 weeks 4 days ago