#### Filter Results:

- Full text PDF available (7)

#### Publication Year

1996

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Raymond McDowell, Dale Miller
- ACM Trans. Comput. Log.
- 2002

Logical frameworks based on intuitionistic or linear logics with higher-type quantification have been successfully used to give high-level, modular, and formal specifications of many important judgments in the area of programming languages and inference systems. Given such specifications, it is natural to consider proving properties about the specified… (More)

- Raymond McDowell, Dale Miller
- Theor. Comput. Sci.
- 2000

In order to reason about specifications of computations that are given via the proof search or logic programming paradigm one needs to have at least some forms of induction and some principle for reasoning about the ways in which terms are built and the ways in which computations can progress. The literature contains many approaches to formally adding these… (More)

- Raymond McDowell, Dale Miller
- LICS
- 1997

Logical frameworks based on intuitionistic or linear logics with higher-type quantification have been successfully used to give high-level, modular, and formal specifications of many important judgments in the area of programming languages and inference systems. Given such specifications, it is natural to consider proving properties about the specified… (More)

- Raymond McDowell, Dale Miller, Catuscia Palamidessi
- Electr. Notes Theor. Comput. Sci.
- 1996

Intuitionistic and linear logics can be used to specify the operational semantics of transition systems in various ways. We consider here two encodings: one uses linear logic and maps states of the transition system into formulas, and the other uses intuitionistic logic and maps states into terms. In both cases, it is possible to relate transition paths to… (More)

Linear logic has been used to specify the operational semantics of various process calculi. In this paper we explore how meta-level judgments, such as simulation and bisimulation, can be established using such encodings. In general, linear logic is too weak to derive such judgments and we focus on an extension to linear logic using definitions. We explore… (More)

- R D McDowell, A Ryan, +13 authors T Tomov
- Psychological medicine
- 2014

BACKGROUND
The World Mental Health Survey Initiative (WMHSI) has advanced our understanding of mental disorders by providing data suitable for analysis across many countries. However, these data have not yet been fully explored from a cross-national lifespan perspective. In particular, there is a shortage of research on the relationship between mood and… (More)

It is recognised that business-to-business relationships involve individuals interacting over time. For companies whose relationships are a source of concern (they may perceive that they could enable a greater competitive advantage to be leveraged, or may consider that they are the reasons for poor performance), any attempts to manage their relationships… (More)

- ‹
- 1
- ›