8 search results - page 2 / 2 » Equational Reasoning via Partial Reflection |
TLCA
2007
Springer
13 years 11 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
BMCBI
2006
13 years 5 months ago
2006
Background: Although protein-protein interaction networks determined with high-throughput methods are incomplete, they are commonly used to infer the topology of the complete inte...
LOPSTR
2005
Springer
13 years 11 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...