Anamorphism - PDFSEARCH.IO - Document Search Engine

Anamorphism
Results: 25

#	Item
1	STAR TREK © Jens-Helge Dahmen Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2006-02-02 07:15:45 Declarative programming Fold Anamorphism Origami Yoshizawa-Randlett system Structural geology Software engineering Functional programming
2	© Jens-Helge Dahmen Air Ship "Leonardo" The myth of Leonardo da Vinci as the genius that, in the second half of the 15th Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2007-05-22 17:27:49 Declarative programming Fold Recursion Anamorphism Yoshizawa-Randlett system Origami Software engineering Functional programming
3	Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: dmwit.com Language: English - 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
4	PDF Document Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2012-03-22 19:10:07 Category theory Recursion Functional programming Adjoint functors Programming idioms F-coalgebra Anamorphism Monad Variety Computer programming Software engineering Computing
5	Rose Toshikazu Kawasaki Flower Add to Reading List Source URL: www.progonos.com Language: English - Date: 2004-05-17 20:55:03 Functional programming Declarative programming Anamorphism Fold Unfold Origami Yoshizawa-Randlett system Software engineering
6	how can your business reach 1.8 million northwest consumers right now? Learn more at seattletimes.com/mediakit What website gets Add to Reading List Source URL: mediakit.seattletimes.com Language: English - Date: 2015-05-04 17:19:46 Declarative programming Origami Paper art Fold More Anamorphism Paper folding Software engineering Functional programming
7	Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers ETH Zurich, Switzerland Add to Reading List Source URL: stefanheule.com Language: English - Date: 2014-09-10 01:53:47 Formal methods Functions and mappings Predicate logic Abstraction Predicate Function Anamorphism Satisfiability Modulo Theories Predicate transformer semantics Mathematics Mathematical logic Logic
8	Coalgebra: Basic Concepts Paul Blain Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-10-30 15:46:26 Coalgebra Anamorphism Function F-algebra Initial algebra Category theory Mathematics F-coalgebra
9	PROJECT. THE STORY OF OUR PLANET UNFOLDS ... FOL Add to Reading List Source URL: www.climateinstitute.org.au Language: English Anamorphism Diagram Infographics Level 2
10	PDF Document Add to Reading List Source URL: www.papercrane.org Language: English - Date: 2007-03-02 08:31:44 Fold Unfold Anamorphism Recreational mathematics Science Learning Intelligence Origami Yoshizawa-Randlett system Paper folding