<--- Back to Details
First PageDocument Content
Elementary mathematics / Type theory / Ring theory / Setoid / Apartness relation / Semiring / Monad / Equivalence relation / Type class / Mathematics / Abstract algebra / Algebraic structures
Date: 2013-02-14 03:06:22
Elementary mathematics
Type theory
Ring theory
Setoid
Apartness relation
Semiring
Monad
Equivalence relation
Type class
Mathematics
Abstract algebra
Algebraic structures

Logical Methods in Computer Science Vol. 9(1:[removed], pp. 1–27 www.lmcs-online.org

Add to Reading List

Source URL: arxiv.org

Download Document from Source Website

File Size: 496,71 KB

Share Document on Facebook

Similar Documents

Mathematics / Equivalence relation / Equivalence class / Binary relation / Transitive relation / Mathematical logic / Integer / Cardinality / Ternary equivalence relation / Apartness relation

Worksheet on Relations and Equivalence Relations and Classes November 6, 2015 1

DocID: 1pPZP - View Document

Mathematical constructivism / Mathematical structures / Topological spaces / Apartness relation / Metrization theorem / Compact space / Metric space / Intuitionism / Topology / General topology / Mathematics

‘Ik kan ook al bijna rekenen, ik kan mooie poppetjes tekenen.’ ‘Lieve deugd’, zei de giraffe,

DocID: 5cmq - View Document

Elementary mathematics / Type theory / Ring theory / Setoid / Apartness relation / Semiring / Monad / Equivalence relation / Type class / Mathematics / Abstract algebra / Algebraic structures

Logical Methods in Computer Science Vol. 9(1:[removed], pp. 1–27 www.lmcs-online.org

DocID: 4jSi - View Document

Category / Partial equivalence relation / Morphism / Apartness relation / Setoid / Functor / Equivalence relation / Cartesian closed category / Total order / Mathematics / Category theory / Abstract algebra

JFP 13 (2): 261–293, March[removed]c 2003 Cambridge University Press

DocID: 1FHq - View Document