Tiered objects

DOI10.3233/FI-2016-1449MaRDI QIDQ4589249zbMATH OpenFDO

Authors Fabio Alessi, Felice Cardone

Publication date 9 November 2017

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

sheavesfinal coalgebrasinitial algebrasapproximation lemmainfinite data structurescomplete Heyting algebras

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Abstract data types; algebraic specification (68Q65) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• A second order theory of infinite trees
• An algebraic theory of structured objects
• scientific article; zbMATH DE number 1086721
• Logic, sheaves, and factorization systems
• An approach to object semantics based on terminal co-algebras

This page was built for publication: Tiered objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589249)