pedagand's profile

About me

Username:	pedagand
Name:	Pierre-Evariste DAGAND
Job title:	Not specified
Affiliation:	ENS Cachan-Bretagne
Web page:	Not specified
Joined:	2007-10-25

What I do

Not specified

Interests

Not specified

Recent Activity

2009-11-20

08:59: posted A Finite Axiomatization of Inductive-Recursive Definitions

2009-11-19

21:00: posted Induction-Recursion and Initial Algebras
20:58: posted Ornamental Algebras, Algebraic Ornaments
20:56: posted Constructing strictly positive families
20:52: posted Indexed Induction-Recursion
11:12: posted Reproducible research in signal processing

2009-11-14

15:29: posted Countable Lawvere Theories and Computational Effects
15:23: posted The Universal Algebra of Computational Effects: Lawvere Theories and Monads

2009-11-12

10:28: posted Pretty printing
10:21: posted Linear, bounded, functional pretty-printing

2009-11-09

14:16: posted Comprehension syntax