Theory Presentation Combinators
type: Item
instance of: scholarly article
title: Theory Presentation Combinators
zbMATH Open document ID: 1360.68802
DOI: 10.1007/978-3-642-31374-5_14
author: Jacques Carette
author: Russell O'Connor
published in: Lecture Notes in Computer Science
publication date: 2012-09-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/1204.0053
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 18D30
zbMATH DE Number: 6079498
Wikidata QID: Q60712726
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W1778672286
arXiv ID: 1204.0053
cites work: Some Considerations on the Usability of Interactive Provers
cites work: Q3906394
cites work: High-Level Theories
cites work: Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
cites work: Generalized algebraic theories and contextual categories
cites work: Packaging Mathematical Structures
cites work: Q4736392
cites work: On Duplication in Mathematical Repositories
cites work: Categorical logic and type theory
cites work: Detecting equivalence of modular specifications with categorical diagrams
cites work: A scalable module system
cites work: Q4964708
cites work: Constructing specification morphisms
cites work: Q4934624
cites work: Type classes for mathematics in type theory
description: scientific article