publication venue for
- Correspondence results for relational proof systems with application to the Lambek calculus. 71:389-414. 2002
- A kripke semantics for the logic of gelfand quantales. 68:173-228. 2001
- A Set Theory with Support for Partial Functions. 66:59-78. 2000