1875 search results - page 198 / 375 » A Calculus of Broadcasting Systems |
129
click to vote
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
108
click to vote
CSL
2000
Springer
15 years 5 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
114
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
103
Voted
TCS
2008
15 years 22 days ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
99
Voted
ENTCS
2002
15 years 19 days ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...