Typed Homomorphic Relations Extended with Subtypes

Simple item page
dc.contributor.author Leavens, Gary
dc.contributor.author Pigozzi, Don
dc.contributor.department Department of Computer Science
dc.date 2018-02-13T22:49:18.000
dc.date.accessioned 2020-06-30T01:55:12Z
dc.date.available 2020-06-30T01:55:12Z
dc.date.issued 1991-06-01
dc.description.abstract <p>Typed homomorphic relations on heterogeneous algebras are generalized to allow relationships between elements in the carrier sets of different types. Such relations are needed for the model theory of incomplete, hierarchical specifications with subtypes. Typed logical relations are generalized similarly. These tools help give a simple model-theoretic account of subtyping among abstract data types as observed by terms of a simply-typed lambda-calculus with subtypes.</p>
dc.description.comments <p>© Springer-Verlag</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/127/
dc.identifier.articleid 1114
dc.identifier.contextkey 5338600
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/127
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/19936
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/127/TR91_14.pdf|||Fri Jan 14 19:27:43 UTC 2022
dc.subject.disciplines Systems Architecture
dc.subject.disciplines Theory and Algorithms
dc.subject.keywords subtype
dc.subject.keywords logical relation
dc.subject.keywords homomorphic relation
dc.subject.keywords algebraic model
dc.subject.keywords abstract data type
dc.subject.keywords lambda calculus
dc.title Typed Homomorphic Relations Extended with Subtypes
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TR91_14.pdf
Size:
360.16 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Publications