Monoidal indeterminates and categories of possible worlds
| Autor: | Hermida, C., Tennent, R.D. |
|---|---|
| Zdroj: | In Theoretical Computer Science 27 April 2012 430:3-22 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Hermida, C., Tennent, R.D. |
|---|---|
| Zdroj: | In Theoretical Computer Science 27 April 2012 430:3-22 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect