Generic Fibrational Induction

DOI10.2168/LMCS-8(2:12)2012zbMath1242.68172arXiv1206.0357MaRDI QIDQ2895473

Neil Ghani, Clément Fumex, Patricia Johann

Publication date: 3 July 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1206.0357

zbMATH Keywords

fibrationscategory theoryinductioninitial algebrasalgebraic semantics of data types

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

Related Items (2)

Monotone recursive types and recursive data representations in Cedille ⋮ Deep induction: induction rules for (truly) nested types

Uses Software

• Coq

This page was built for publication: Generic Fibrational Induction