scientific article; zbMATH DE number 2079043

MaRDI QIDQ4474856zbMATH OpenFDO

Authors Claudio Hermida, Bart Jacobs

Publication date 21 July 2004

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Structural induction and coinduction in a fibrational setting
• Fibrational induction rules for initial algebras
• Generic fibrational induction
• scientific article; zbMATH DE number 3869407
• Indexed induction and coinduction, fibrationally

Cited in

(10)

• Structural induction and coinduction in a fibrational setting
• Some properties of Fib as a fibred \(2\)-category
• The equational part of proofs by structural induction
• A structural induction theorem for processes
• Generic fibrational induction
• Alpha-structural recursion and induction
• Fibrational induction rules for initial algebras
• Categorical fixed point calculus
• Theorem Proving in Higher Order Logics
• Divergences on monads for relational program logics

This page was built for publication:

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