#### Filter Results:

#### Publication Year

1998

2002

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

Reynolds has developed a logic for reasoning about mutable data structures in which the pre- and postconditions are written in an intuitionistic logic enriched with a spatial form of conjunction. We investigate the approach from the point of view of the logic BI of bunched implications of O'Hearnand Pym. We begin by giving a model in which the law of the… (More)

We study a framework, RLF, for deening natural deduction presentations of linear and other relevant logics. RLF consists in a language together, in a manner similar to that of LF, with a representation mechanism. The language of RLF, the-calculus, is a system of rst-order linear dependent function types which uses a function to describe the degree of… (More)

- ‹
- 1
- ›