2373 search results - page 310 / 475 » On the Theory of Structural Subtyping |
188
click to vote
GECCO
2008
Springer
15 years 7 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...
200
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
146
click to vote
APAL
2008
15 years 6 months ago
2008
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the th...
175
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Numerous biological functions--such as enzymatic catalysis, the immune response system, and the DNA-protein regulatory network--rely on the ability of molecules to specifically rec...