Sciweavers

1532 search results - page 18 / 307
» An Algebraic Process Calculus
Sort
View
JFP
2002
94views more  JFP 2002»
14 years 11 months ago
The lambda calculus is algebraic
Peter Selinger
CORR
2012
Springer
170views Education» more  CORR 2012»
13 years 7 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 4 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