dmurfet

4 ms·

1. 1.▲
   by dmurfet 9y ago

   I think these papers are fascinating! I would also recommend the Neural Turing Machine paper from DeepMind, which I know better than the papers you mention. But keep in mind that this is a very young field, and there is no definitive point
2. 2.▲
   by dmurfet 9y ago

   I think it’s too early to say what differential lambda calculus or linear logic is “good for” in a practical sense. However, I don’t tend to think of it as being about breaking problems into smaller pieces. I think it is more about error pr
3. 3.▲
   by dmurfet 9y ago

   I think Pearlmutter and Siskind‘s work is primarily about using ideas from lambda calculus to clean up AD (automatic differentiation) of numeric functions. Whereas differential lambda calculus is not about numeric functions per se: the aim
4. 4.▲
   by dmurfet 9y ago

   I don’t think so, but I haven’t really thought about it.
5. 5.▲
   by dmurfet 9y ago

   Right. In practice one would want to use more complicated types (such as the type of Turing machines, explained in Clift’s thesis) but in the talk I did not have time to explain more interesting examples.
6. 6.▲
   by dmurfet 9y ago

   Thanks! You’re welcome.
7. 7.▲
   by dmurfet 9y ago

   I think you are right, the meaning of the sums that appear in syntactic derivatives is quite subtle, and I don’t claim to have an authoritative answer as to their deep meaning. Semantically, however, I think things are clearer. The denotati
8. 8.▲
   by dmurfet 9y ago

   Author here. The theoretical background can be found in: https://arxiv.org/abs/1407.2650 https://arxiv.org/abs/1701.01285 http://therisingsea.org/notes/MScThesisJamesClift.pdf