Results 211 to 220 of about 7,538 (259)
Some of the next articles are maybe not open access.
2007
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 the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined ...
Ana Bove, Venanzio Capretta
openaire +3 more sources
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 the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined ...
Ana Bove, Venanzio Capretta
openaire +3 more sources
Economic Prophecies and Counter-Prophecies
1996Economic calculation was yet another source of French ambivalence, that is to say the relationship between the country’s productive resources and the demands placed upon them by the German problem. This calculation already has figured in our analysis, however implicitly, for in many respects it is at the foundation of the ideological debate.
openaire +1 more source
The Hastings Center Report, 1997
When President Clinton convened the National Bioethics Advisory Commission to examine policy options on human cloning, he cited not only matters of "morality" but also "spirituality." His language suggested that there are aspects of cloning that cannot be completely subsumed under an ethics and policy process that gives primacy of place to appeals to ...
openaire +2 more sources
When President Clinton convened the National Bioethics Advisory Commission to examine policy options on human cloning, he cited not only matters of "morality" but also "spirituality." His language suggested that there are aspects of cloning that cannot be completely subsumed under an ethics and policy process that gives primacy of place to appeals to ...
openaire +2 more sources
2015
Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops an approach that facilitates their use.
openaire +2 more sources
Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops an approach that facilitates their use.
openaire +2 more sources
Self-fulfilling Prophecy in Practical and Automated Prediction
Ethical Theory and Moral Practice, 2023Owen C. King, Mayli Mertens
exaly
2018
Most people associate prophecy with prognostication. However, an understanding of philosophical theories of prophecy requires that we recognize the full range of functions that a prophet may serve: oracle, cognizer of the divine, moral and social critic, teacher, political leader, legislator, miracle-worker.
openaire +1 more source
Most people associate prophecy with prognostication. However, an understanding of philosophical theories of prophecy requires that we recognize the full range of functions that a prophet may serve: oracle, cognizer of the divine, moral and social critic, teacher, political leader, legislator, miracle-worker.
openaire +1 more source
Notes on Prophecy and the Ecclesiology of Synodality from the Second Vatican Council to Today
Irish Theological Quarterly, 2023Massimo Faggioli
exaly