<--- 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

Exploratory Data Analysis Tools Stelian Ion∗ Technical Reports Abstract In this paper we review some mathematical tools to analyze ecological data. We focus on

Exploratory Data Analysis Tools Stelian Ion∗ Technical Reports Abstract In this paper we review some mathematical tools to analyze ecological data. We focus on

DocID: 1vqrO - View Document

K. Murota, University of Tokyo, Japan  Matrices and Matroids for Systems Analysis A matroid is an abstract mathematical structure that captures combinatorial properties of matrices. This book offers a unique introduction

K. Murota, University of Tokyo, Japan Matrices and Matroids for Systems Analysis A matroid is an abstract mathematical structure that captures combinatorial properties of matrices. This book offers a unique introduction

DocID: 1vdBT - View Document

Network-Design Sensitivity Analysis Paul Tune and Matthew Roughan School of Mathematical Sciences The University of Adelaide, Australia  {paul.tune,matthew.roughan}@adelaide.edu.au

Network-Design Sensitivity Analysis Paul Tune and Matthew Roughan School of Mathematical Sciences The University of Adelaide, Australia {paul.tune,matthew.roughan}@adelaide.edu.au

DocID: 1vdkB - View Document

Universit¨at Stuttgart Institut fu¨r Systemtheorie und Regelungstechnik Prof. Dr.–Ing. Frank Allg¨ower Open Thesis (BA, MA, SA) Mathematical modeling and analysis of

Universit¨at Stuttgart Institut fu¨r Systemtheorie und Regelungstechnik Prof. Dr.–Ing. Frank Allg¨ower Open Thesis (BA, MA, SA) Mathematical modeling and analysis of

DocID: 1v77P - View Document

Probability: Subjective and Mathematical Author(s): Peter J. R. Millican Source: Analysis, Vol. 44, No. 1 (Jan., 1984), ppPublished by: Oxford University Press on behalf of The Analysis Committee Stable URL: http

Probability: Subjective and Mathematical Author(s): Peter J. R. Millican Source: Analysis, Vol. 44, No. 1 (Jan., 1984), ppPublished by: Oxford University Press on behalf of The Analysis Committee Stable URL: http

DocID: 1v72E - View Document