User loginNavigation 
Nondeterministic versus parallel function applicationGreetings, Ehrhard and Regnier described a functional programming language  the differential lambda calculus  which added to the lambda calculus a commutative monoid structure and a differential operation. One feature of this calculus is that application is linear in the first argument. I am studying a weaker system that adds only the commutative monoid structure, and I insist that application preserves addition in the first argument (which is implied in E.R.'s system). This means: The above has the feel of nondeterminism to it. Given 'g' or 'h' applied to 'm' the result is 'g' applied to 'm' or 'h' applied to 'm.' However, in general: So it is not as if 'g' makes a nondeterministic choice of 'm' or 'n.' While some have called this nondeterminism, others have called parallelism. Any thoughts on what the correct word describing such an application might be? By jdgallag at 20120124 18:46  LtU Forum  previous forum topic  next forum topic  other blogs  2713 reads

Browse archives
Active forum topics 
Recent comments
2 days 9 hours ago
3 days 8 hours ago
4 days 11 hours ago
6 days 8 hours ago
1 week 1 day ago
1 week 1 day ago
1 week 1 day ago
1 week 1 day ago
2 weeks 4 days ago
3 weeks 14 hours ago