There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 327-342

DOI: 10.1007/978-3-642-03359-9_23

SO-VID: 0860b43e-7033-464f-9197-9eda9eb72ca4

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 23

Type classes for mathematics in type theory
Authors: BAS SPITTERS, EELIS VAN DER WEEGEN
Point-Free, Set-Free Concrete Linear Algebra
Authors: Georges Gonthier
A Refinement-Based Approach to Computational Algebra in Coq
Authors: Maxime Dénès, Anders Mörtberg, Vincent Siles

See all cited by

Packaging Mathematical Structures

Read this book at