Back to Results
First PageMeta Content
Semigroup theory / Abstract algebra / Category theory / Monoid / Inverse element / Semigroup / Constructible universe / Isabelle / Fixed-point combinator / Mathematics / Algebra / Algebraic structures


Document Date: 2014-08-27 06:04:04

Open Document

File Size: 260,90 KB

Share Result on Facebook

IndustryTerm

specification tool / particular instance using common specification tools / software engineering point of view / /

Person

Isar Florian Haftmann / /

Position

model product semigroups / /

ProgrammingLanguage

Haskell / Java / /

Technology

functional programming / Java / /

SocialTag