Axiomatic Criteria for Quotients and Subobjects at Higher Order
- Authors
- J. E. Hannay
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2003
- Journal
- Automata, Languages and Programming. Proceedings of ICALP 2003, 30th International Colloquium, Eindhoven, the Netherlands, LNCS volume 2719
- Publisher
- Springer-Verlag
- Citation key
- 9397