Introduction to categories and categorical logic
S. Abramsky and N. Tzevelekos
Details
| Journal |
New Structures for Physics. Springer |
| Year |
2010 |
Links
Related pages
|
People |
S. Abramsky and N. Tzevelekos
| Journal |
New Structures for Physics. Springer |
| Year |
2010 |
|
People |