1 |
Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Ministry of University and Research project SisteR (PRIN 20088HXMYN).
|
|
|
|
In: http://perso.ens-lyon.fr/filippo.bonchi/papers/JAR11.pdf (2011)
|
|
BASE
|
|
Show details
|
|
3 |
Some Algebraic Laws for Spans (and Their Connections With Multi-Relations)
|
|
|
|
In: http://www.di.unipi.it/~bruni/publications/relmis2001.ps.gz (2001)
|
|
BASE
|
|
Show details
|
|
4 |
Modelling Calculi with Name Mobility using Graphs with Equivalences
|
|
|
|
In: http://rap.dsi.unifi.it/sensoria/files/176_1_005.pdf
|
|
BASE
|
|
Show details
|
|
5 |
Modelling Calculi with Name Mobility using Graphs with Equivalences
|
|
|
|
In: http://www.math.unipd.it/~baldan/Papers/Soft-copy-pdf/Termgraph07.pdf
|
|
BASE
|
|
Show details
|
|
6 |
Ministry of University and Research project SisteR (PRIN 20088HXMYN).
|
|
|
|
In: http://perso.ens-lyon.fr/filippo.bonchi/papers/JAR12.pdf
|
|
BASE
|
|
Show details
|
|
|
|