Back to Results
First PageMeta Content
Category theory / Adjoint functors / Model theory / Semigroup theory / Algebraic structures / Monoid / Monad / Symbol / Parity of a permutation / Mathematics / Abstract algebra / Algebra


Relating Computational Effects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan
Add to Reading List

Document Date: 2011-11-07 10:18:24

Open Document

File Size: 108,68 KB

Share Result on Facebook

Company

T 1 Ab / idT Ab / H Ab / TI Ab / TAbAb / T Ab / /

Country

Japan / /

/

Facility

Lifting Shin-ya Katsumata Research Institute / Mathematical Sciences Kyoto University / /

IndustryTerm

fixpoint operator / finite products / evident product / /

Organization

Institute for Mathematical Sciences Kyoto University / Kyoto / /

Person

Ai / /

ProgrammingLanguage

FP / /

ProvinceOrState

Virginia / Connecticut / /

Technology

simulation / /

SocialTag