Categorical logic of names and abstraction in action calculus
- Math. Structures in Comp. Sci.
- Publication date:
- Local pid:
- Copyright date:
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record