Theory Presentation Combinators (Q2907324)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Theory Presentation Combinators	scientific article

Statements

scholarly article

0 references

Theory Presentation Combinators (English)

0 references

Jacques Carette

0 references

Russell O'Connor

0 references

Lecture Notes in Computer Science

0 references

publication date

7 September 2012

0 references

full work available at URL

https://arxiv.org/abs/1204.0053

0 references

MaRDI profile type

MaRDI publication profile

0 references

Some Considerations on the Usability of Interactive Provers

0 references

0 references

High-Level Theories

0 references

Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code

0 references

Theory Presentation Combinators

0 references

Generalized algebraic theories and contextual categories

0 references

Packaging Mathematical Structures

0 references

0 references

On Duplication in Mathematical Repositories

0 references

Categorical logic and type theory

0 references

Detecting equivalence of modular specifications with categorical diagrams

0 references

A scalable module system

0 references

0 references

Constructing specification morphisms

0 references

0 references

Type classes for mathematics in type theory

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-31374-5_14

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2907324

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2907324&oldid=35297775"