Searching for "Constructive category theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

52 documents found, showing 1 through 10. Next 10 →

Constructive Category Theory
by Gérard Huet, Amokrane Saïbi, Inria Rocquencourt — 1998 — In Proceedings of the Joint CLICS-TYPES Workshop on Categories and Type Theory, Goteborg
…Constructive Category Theory G'erard Huet and Amokrane Saibi INRIA Rocquencourt 1 B.P. 105 - 78153…
Cited by 23 (1 self) – Add To MetaCart

Universal Information Models for Environmental Management
by B. Nick Rossiter, Michael Heather, Computing Science
… and universals. The constructions in category theory are very similar to those of the new theoretical models…
Add To MetaCart

Inductive, Coinductive, and Pointed Types
by Brian Howard — 1996 — In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming
… are certain natural constructions in category theory, in particular the notion of an algebraically bounded…
Cited by 15 (0 self) – Add To MetaCart

A Semantics for Object-Oriented Design Notations
by Tony Clark — 1999 — the BCS FACS Journal
… for object-oriented designs in terms of object behaviours represented as constructions in category theory. A…
Cited by 3 (0 self) – Add To MetaCart

Intuitionistic Model Constructions and Normalization Proofs
by Thierry Coquand, Peter Dybjer — 1998
… in category theory. Other basic type constructors are interpreted as in the intended model. In this way we can…
Cited by 39 (7 self) – Add To MetaCart

Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids
by Ilya Beylin, Peter Dybjer — 1995 — In TYPES
… to the development of constructive category theory in the sense of Huet and Saibi [16], who implemented part…
Cited by 17 (3 self) – Add To MetaCart

A Theory-Based Representation for Object-Oriented Domain Models
by Scott A. Deloach, Thomas C. Hartrum — 2000 — IEEE Transactions on Software Engineering
… specification language O-Slang. O-Slang combines basic algebraic specification constructs with category theory…
Cited by 11 (4 self) – Add To MetaCart

Formalizing Types with Ultimate Closure for Middleware Tools
by Nick Rossiter, David Nelson, Michael Heather — in Information Systems Engineering, 5th ICEIS
… Category theory provides a universal construction for formalizing information systems with rigorous typing…
Cited by 1 (1 self) – Add To MetaCart

Constructing Specifications and Modules in a KZ-Doctrine
by Gillian Hill — 1994 — Theory and Formal Methods '94, pages 219--236. Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Imperial College Press, distributed by World Scientific Publishing Co. ISBN
… be formally constructed. In particular this abstract framework of category theory is shown to provide a…
Cited by 3 (3 self) – Add To MetaCart

Four-level Architecture for Closure
by Nick Rossiter, Michael Heather — in Interoperability, EFIS2003, Fifth International Workshop on Engineering Federated Information Systems
… of Mappings in two Systems If we follow the constructive principles of category theory, then the composition…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB