| Document Date: 2010-08-11 18:17:21
Open Document File Size: 530,81 KBShare Result on Facebook
City Austria Shumann / Austria Germany Schubert / Schubert / Austria Schubert / Germany Monteverdi / unknownGermany Monteverdi / Austria Schumann / / Country Germany / Italy / / Facility Martin Hofmann Benjamin Pierce Daniel Wagner Ludwig-Maximilians-Universit¨at University of Pennsylvania University of Pennsylvania Abstract The / / IndustryTerm software system / system administration tool / tensor product / categorical product / tensor products / lenses satisfying law / least solution / naturality law / categorical products / software models / particular tensor product / / Organization University of Pennsylvania University / / Position single composer / head / / Technology simulation / /
SocialTag |
Symmetric Lenses (Full version) Martin Hofmann Benjamin Pierce