Categorical logic of names and abstraction in action calculus
Dusko Pavlovic
Details
| Journal |
Math. Structures in Comp. Sci. |
| Pages |
619–637 |
| Volume |
7 |
| Year |
1997 |
Links
Related pages
|
People |