Abstract
We present an algebraic theory of structured objects based on and generalizing Aczel’s theory of form systems. Notions of identity of structured objects and of transformations of systems of such objects are discussed. A generalization of Aczel’s representation theorem is proven. © 1997 by the University of Notre Dame. All rights reserved.
Cite
CITATION STYLE
APA
Hartonas, C. (1997). An algebraic theory of structured objects. Notre Dame Journal of Formal Logic, 38(1), 65–80. https://doi.org/10.1305/ndjfl/1039700697
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free