110 search results - page 2 / 22 » Interpreting Classical Theories in Constructive Ones |
168
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
161
click to vote
FUIN
2008
15 years 4 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
143
click to vote
DLOG
2007
15 years 8 months ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...
176
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
176
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum...