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

Browse archivesActive forum topics 
Recent comments
6 hours 41 min ago
8 hours 54 min ago
10 hours 23 min ago
12 hours 11 min ago
13 hours 30 min ago
19 hours 24 min ago
1 day 11 hours ago
1 day 11 hours ago
1 day 11 hours ago
1 day 12 hours ago