Back to Results
First PageMeta Content
Algebraic structures / Semigroup theory / Mathematical structures / Ring theory / Formal languages / Monoid / Ring / Monad / Trace monoid / Abstract algebra / Mathematics / Algebra


A Gentle Introduction to Type Classes and Relations in Coq Pierre Castéran
Add to Reading List

Document Date: 2012-05-31 04:34:05

Open Document

File Size: 474,62 KB

Share Result on Facebook
UPDATE