Back to Results
First PageMeta Content
Algebraic logic / Camera lens / Anamorphism / Fold / Heap / Surjective function / Binary relation / Boolean algebra / Mathematics / Mathematical logic / Mathematical analysis


Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner
Add to Reading List

Document Date: 2011-01-31 16:10:19

Open Document

File Size: 676,10 KB

Share Result on Facebook

City

Austria Shumann / Austria Germany Schubert / Schubert / Austria Schubert / Germany Monteverdi / unknownGermany Monteverdi / Austria Schumann / /

Company

Ford / /

Country

Germany / Italy / /

Facility

Germany University of Pennsylvania Pennsylvania / USA University of Pennsylvania Pennsylvania / /

IndustryTerm

software system / system administration tool / arrows satisfying law / machinery / tensor product / categorical product / tensor products / least solution / naturality law / categorical products / software models / particular tensor product / /

Organization

USA University of Pennsylvania Pennsylvania / Germany University of Pennsylvania Pennsylvania / /

Person

Benjamin Pierce Daniel Wagner / /

Position

author / composer / General / actor / single composer / head / second author / /

ProvinceOrState

Texas / /

Technology

functional programming / simulation / /

SocialTag