Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner

First Page		Document Content
Date: 2010-07-16 15:34:12 Category theory Group action Group theory Symmetry Camera lens Heap Functor Combinatory logic Surjective function Mathematics Abstract algebra Mathematical analysis		Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 451,00 KB Share Document on Facebook

	ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 1: Group Theory 1 DocID: 1xVrN - View Document
	Group Henzinger Software Systems Theory Systems Biology Group members DocID: 1xV3x - View Document
	Lecture notes: Basic group and representation theory Thomas Willwacher February 27, 2014 2 DocID: 1xUQE - View Document
	SPNs: Network Reconstruction Theory and Speedup Using Neural Networks Balaji Prabhakar and Mendel Rosenblum Self-‐Programming Networks Research Group Stanf DocID: 1xTIn - View Document
	XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai Jiao Tong University, China A code DocID: 1xTFA - View Document