5456 search results - page 86 / 1092 » General Equilibrium Theory |
128
click to vote
MFPS
1993
15 years 8 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
147
click to vote
ISIPTA
1999
IEEE
15 years 8 months ago
1999
IEEE
Belief functions, possibility measures and Choquet capacities of order 2, which are special kinds of coherent upper or lower probability, are amongst the most popular mathematical...
123
click to vote
TCS
2010
15 years 2 months ago
2010
We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational sema...
150
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
174
click to vote
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...