|
11
|
Towards a duality result in coalgebraic modal logic
– B Jacobs
|
|
55
|
Structural Induction and Coinduction in a Fibrational Setting
– Claudio Hermida, Bart Jacobs
- 1997
|
|
57
|
Specifying coalgebras with modal logic
– Alexander Kurz
- 2001
|
|
67
|
Objects and Classes, Coalgebraically
– B. Jacobs, Issn -x, Bart Jacobs
- 1995
|
|
55
|
Logics for Coalgebras and Applications to Computer Science
– A Kurz
- 2001
|
|
85
|
Coalgebraic Logic
– Lawrence S. Moss
- 1999
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
17
|
Logics of Time and Computation,” Number 7
– R Goldblatt
- 1987
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
57
|
The Logic of Games and its Applications
– Rohit Parikh
- 1985
|
|
1
|
A program logic for resources. (2007) Accepted
– D Aspinall, L Beringer, Hofmann
|
|
1
|
writing and relations
– N Benton, A Kennedy, M Hofmann, L Reading Beringer
|
|
11
|
State-Based Extension of CASL
– H. Baumeister, A. Zamulin
- 2000
|
|
25
|
A Type Theory for Memory Allocation and Data Layout (Extended Version)
– Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
- 2002
|
|
5
|
Possible worlds and resources: The semantics of BI. Theoretical Computer Science http://www.dcs.qmul.ac.uk/~ohearn
– D Pym, P O’Hearn, H Yang
|
|
2
|
A.: A program logic for resources. Theoretical Computer Science (2007) Accepted
– D Aspinall, L Beringer, M Hofmann, H W Loidl, Momigliano
|
|
53
|
Observational logic
– Rolf Hennicker, Michel Bidoit
- 1999
|
|
34
|
An observationally complete program logic for imperative higher-order functions
– Kohei Honda, Nobuko Yoshida, Martin Berger
- 2005
|
|
104
|
A Hidden Agenda
– Joseph Goguen, Grant Malcolm
- 2000
|
