Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Categorical logic of names and abstraction in action calculus

Categorical logic of names and abstraction in action calculus

Dusko Pavlovic

Journal
Math. Structures in Comp. Sci.
Pages
619–637
Volume
7
Year
1997

Links

See Also

Back to Top