Back to Results
First PageMeta Content
Algebra / Monoid / Semiring / Monad / Semigroup / Combinatorial species / Function / Functor / Universal algebra / Abstract algebra / Algebraic structures / Mathematics


Document Date: 2011-02-07 21:06:36

Open Document

File Size: 344,62 KB

Share Result on Facebook

Company

Record SemiGroup / Equiv/SemiGroup / Bernstein / themCommutativeMonoid AbGroup / SemiGroup / Instance co / /

IndustryTerm

ua subalgebraT.carrier image / carrier type / software engineering challenges / namely proof search / er carrier / unification algorithm / nontrivial infrastructure / relation er carrier / er carrier er rel / pre-existing technology / universal algebra infrastructure / case carrier / relation rr carrier / proof search machinery / proof search / carrier projections / carrier sets / rr carrier / /

Person

Matthieu Sozeau / /

Position

proof assistant / Bishop / modern proof assistant / Coq proof assistant / /

Product

Coq / /

ProgrammingLanguage

Haskell / Prolog / /

Technology

functional programming / key algorithms / unification algorithm / pre-existing technology / /

URL

http /

SocialTag