Tiered objects

DOI10.3233/FI-2016-1449zbMATH Open1373.68185MaRDI QIDQ4589249FDOQ4589249

Authors: Fabio Alessi, Felice Cardone 

Publication date: 9 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

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

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)

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)