<--- Back to Details
First PageDocument Content
Algebraic logic / Camera lens / Anamorphism / Fold / Heap / Surjective function / Binary relation / Boolean algebra / Mathematics / Mathematical logic / Mathematical analysis
Date: 2011-01-31 16:10:19
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

Source URL: dmwit.com

Download Document from Source Website

File Size: 676,10 KB

Share Document on Facebook

Similar Documents

Declarative programming / Fold / Anamorphism / Origami / Yoshizawa-Randlett system / Structural geology / Software engineering / Functional programming

STAR TREK © Jens-Helge Dahmen

DocID: 1a65p - View Document

Declarative programming / Fold / Recursion / Anamorphism / Yoshizawa-Randlett system / Origami / Software engineering / Functional programming

© Jens-Helge Dahmen Air Ship "Leonardo" The myth of Leonardo da Vinci as the genius that, in the second half of the 15th

DocID: 199YH - View Document

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

DocID: 18xFc - View Document

Category theory / Recursion / Functional programming / Adjoint functors / Programming idioms / F-coalgebra / Anamorphism / Monad / Variety / Computer programming / Software engineering / Computing

PDF Document

DocID: 17v7F - View Document

Functional programming / Declarative programming / Anamorphism / Fold / Unfold / Origami / Yoshizawa-Randlett system / Software engineering

Rose Toshikazu Kawasaki Flower

DocID: 14bW2 - View Document