Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Consistency of the theory of contexts | 27 | 1.27 | 2006 |
| An equational notion of lifting monad | 3 | 0.55 | 2003 |
| Equational Lifting Monads | 2 | 0.64 | 1999 |
| Lifting. | 4 | 0.76 | 1997 |
| A Distinguishable Model Theorem for the Minimal US-Tense Logic | 0 | 0.34 | 1995 |
| Modalities in linear logic weaker than the exponential "of course": Algebraic and relational semantics. | 3 | 0.57 | 1994 |