Sciweavers

1532 search results - page 18 / 307
» An Algebraic Process Calculus
Sort
View
JFP
2002
94views more  JFP 2002»
14 years 9 months ago
The lambda calculus is algebraic
Peter Selinger
CORR
2012
Springer
170views Education» more  CORR 2012»
13 years 5 months ago
Algebraic Independence in Positive Characteristic -- A p-Adic Calculus
Johannes Mittmann, Nitin Saxena, Peter Scheiblechn...
MPC
2010
Springer
152views Mathematics» more  MPC 2010»
15 years 2 months ago
Lucy-n: a n-Synchronous Extension of Lustre
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
Louis Mandel, Florence Plateau, Marc Pouzet