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  2225 reads

Browse archivesActive forum topics 
Recent comments
1 day 5 hours ago
1 day 11 hours ago
2 days 3 hours ago
2 days 10 hours ago
2 days 12 hours ago
2 days 18 hours ago
2 days 22 hours ago
2 days 23 hours ago
3 days 2 hours ago
3 days 4 hours ago