POUS, DAMIEN GABRIEL JACQUES Statistiche
POUS, DAMIEN GABRIEL JACQUES
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
A general account of coinduction up-to
2017-01-01 Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
Enhanced coalgebraic bisimulation
2015-01-01 Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
Hacking nondeterminism with induction and coinduction
2015-01-01 Bonchi, Filippo; Pous, Damien
Lax bialgebras and up- to techniques for weak bisimulations
2015-01-01 Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
Coinduction up-to in a fibrational setting
2014-01-01 Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A general account of coinduction up-to | 1-gen-2017 | Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan | |
| Enhanced coalgebraic bisimulation | 1-gen-2015 | Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra | |
| Hacking nondeterminism with induction and coinduction | 1-gen-2015 | Bonchi, Filippo; Pous, Damien | |
| Lax bialgebras and up- to techniques for weak bisimulations | 1-gen-2015 | Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan | |
| Coinduction up-to in a fibrational setting | 1-gen-2014 | Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan |