Machines in closed categories in general and in categories of heyting Algebra valued sets in particular
A survey of the minimal realization theory of Arbib and Manes for "state-behavior" machines in a category is given, and how the closed category machines of Goguen are included in the above machines is discussed in detail. A survey of the non-deterministic treatment due to Arbib and Manes i...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1990
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=59807 |