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

Browse archivesActive forum topics 
Recent comments
2 days 12 hours ago
3 days 7 hours ago
3 days 12 hours ago
3 days 12 hours ago
3 days 13 hours ago
3 days 13 hours ago
3 days 14 hours ago
3 days 14 hours ago
3 days 18 hours ago
3 days 19 hours ago