L'Aquila category theorists?
2009-04-07 13:57 UTC
L'Aquila category theorists?
2009-04-07 12:27 UTC
L'Aquila category theorists?
2009-04-07 11:40 UTC
L'Aquila category theorists?
2009-04-07 7:50 UTC
Where does the term monad come from?
2009-04-07 7:32 UTC
Where does the term monad come from?
2009-04-07 2:06 UTC
Where does the term monad come from?
2009-04-06 20:24 UTC
Where does the term monad come from?
2009-04-06 4:52 UTC
Monads
2009-04-06 4:33 UTC
Monads
2009-04-04 15:45 UTC
Monads
2009-04-04 3:31 UTC
Monads
2009-04-03 23:47 UTC
Monads
2009-04-03 14:07 UTC
Monads
2009-04-03 13:56 UTC
Where does the term monad come from?
2009-04-03 13:55 UTC
Where does the term monad come from?
2009-04-03 4:33 UTC
Where does the term monad come from?
2009-04-03 4:28 UTC
Where does the term monad come from?
2009-04-02 13:31 UTC
Monads
2009-04-02 12:51 UTC
Where does the term monad come from?
2009-04-01 21:19 UTC
Where does the term monad come from?
2009-04-01 19:47 UTC
Where does the term monad come from?
2009-04-01 18:45 UTC
Where does the term monad come from?
2009-04-01 18:13 UTC
Lecturer in Computer Science, University of Leicester
2009-04-01 16:48 UTC
Where does the term monad come from?
2009-04-01 11:24 UTC
FMCS09 - VANCOUVER
2009-04-01 0:08 UTC
Categories, Quanta, Concepts (CQC) at Perimeter Institute
2009-03-31 13:04 UTC
Quantum Physics and Logic - Oxford April 8-9
2009-03-30 21:26 UTC
Quantum Physics and Logic - Oxford April 8-9
2009-03-30 21:26 UTC
Cfc: CALCO-jnr 2009: CALCO Young Researchers Workshop, Udine, Italy
2009-03-30 10:19 UTC
naive questions about sets
2009-03-28 1:07 UTC
naive questions about sets
2009-03-28 0:35 UTC
naive questions about sets
2009-03-27 22:55 UTC
2nd call for papers: CFV'09, deadline April 22
2009-03-27 20:38 UTC
PhD studentships - Dublin
2009-03-26 15:56 UTC
PhD studentships - Dublin
2009-03-26 15:56 UTC
"Senior postdoc" research positions (5 years)
2009-03-26 12:19 UTC
job opening in Nijmegen
2009-03-26 11:20 UTC
naive questions about sets
2009-03-24 17:57 UTC
Grothendieck's legacy videos
2009-03-24 15:58 UTC
postdoc position in Paris
2009-03-23 10:17 UTC
Re: Functions in programming
2009-03-22 14:22 UTC
Functions in programming
2009-03-21 16:06 UTC
Functions in programming
2009-03-20 21:18 UTC
MFPS 25 Program
2009-03-20 20:20 UTC
laziness in functional programming
2009-03-20 18:26 UTC
laziness in functional programming
2009-03-20 12:11 UTC
Horizontal line notation
2009-03-19 22:08 UTC
Assemblies without coproducts?
2009-03-19 16:19 UTC
Functions in programming
2009-03-19 15:37 UTC
Functions in programming
2009-03-19 15:37 UTC
laziness in functional programming
2009-03-19 14:24 UTC
Functions in programming
2009-03-19 14:18 UTC
Functions in programming
2009-03-19 14:11 UTC
Assemblies without coproducts?
2009-03-19 11:40 UTC
Functions in programming
2009-03-19 2:32 UTC
Horizontal line notation
2009-03-18 17:26 UTC
Functions in programming
2009-03-18 15:34 UTC
E.W. Beth Dissertation Prize: Extended Deadline
2009-03-18 10:39 UTC
Functions in programming
2009-03-17 23:06 UTC
CFP: Workshop on Logical Aspects of Fault Tolerance (LAFT)
2009-03-17 19:39 UTC
Horizontal line notation
2009-03-17 19:36 UTC
Horizontal line notation
2009-03-17 14:59 UTC
Horizontal line notation
2009-03-17 12:28 UTC
Functions in programming
2009-03-17 5:17 UTC
Horizontal line notation
2009-03-17 2:15 UTC
Functions in programming
2009-03-16 15:12 UTC
a further bit on functions in programming
2009-03-16 14:28 UTC
Horizontal line notation
2009-03-16 11:45 UTC
Functions in programming
2009-03-16 11:37 UTC
Functions in programming
2009-03-16 9:27 UTC
Functions in programming
2009-03-16 5:52 UTC
Functions in programming
2009-03-16 4:25 UTC
Functions in programming
2009-03-15 23:55 UTC
Functions in programming
2009-03-15 22:18 UTC
Horizontal line notation
2009-03-15 15:35 UTC
Functions in programming
2009-03-14 19:52 UTC
Functions in programming
2009-03-14 17:39 UTC
Functions in programming
2009-03-14 14:58 UTC
Functions in programming
2009-03-14 14:51 UTC
Functions in programming
2009-03-14 9:51 UTC
Functions in programming
2009-03-14 6:02 UTC
Functions in programming
2009-03-14 3:38 UTC
Functions in programming
2009-03-14 3:22 UTC
Functions in programming
2009-03-14 2:21 UTC
ECOOP 2009 Call for Student Volunteers
2009-03-13 17:01 UTC
Functions in programming
2009-03-13 11:29 UTC
free algebras in ASD
2009-03-13 5:02 UTC
DBPL 2009: The Symposium for Database Programming Languages
2009-03-12 11:34 UTC
DBPL 2009: The Symposium for Database Programming Languages
2009-03-12 11:34 UTC
free algebras in ASD
2009-03-12 9:34 UTC
free algebras in ASD
2009-03-11 23:42 UTC
PhD studentship available: toposes and quantum theory
2009-03-11 16:43 UTC
free algebras in ASD
2009-03-11 16:13 UTC
CORCS'09 - Call for papers
2009-03-11 11:04 UTC (2+ messages)
` CORCS'09 - Call for papers - Extended submission
Bi-presheaves
2009-03-10 8:50 UTC
[Fwd: Fw: copyright etc]
2009-03-10 0:10 UTC
Bi-presheaves
2009-03-08 19:25 UTC
a question of Lubarsky
2009-03-08 11:14 UTC
a question of Lubarsky
2009-03-07 19:46 UTC
Bi-presheaves
2009-03-07 6:15 UTC
Eilenberg and Automata, Languages and Machines
2009-03-07 0:18 UTC
Eilenberg and Automata, Languages and Machines
2009-03-06 21:22 UTC
a question of Lubarsky
2009-03-06 20:36 UTC
Fully-funded doctoral studentships in dependently type programming at Oxford and Strathclyde
2009-03-06 17:49 UTC
Bi-presheaves
2009-03-06 15:01 UTC
Bi-presheaves
2009-03-06 14:55 UTC
a question of Lubarsky
2009-03-06 10:22 UTC
Bi-presheaves
2009-03-06 8:19 UTC
Bi-presheaves
2009-03-06 5:13 UTC
a question of Lubarsky
2009-03-05 15:40 UTC
Bi-presheaves
2009-03-05 15:34 UTC
post-doc position at INRIA Saclay (Paris)
2009-03-05 13:32 UTC
SFM-09:WS -- school on formal methods for web services (last call)
2009-03-05 12:41 UTC
deadline for french application
2009-03-04 20:20 UTC
Deadline Extension for SD'09 in Bordeaux
2009-03-02 22:57 UTC
PhD positions at Nottingham & Swansea
2009-03-02 15:34 UTC
PhD studentships in Computer Science at Bath
2009-03-02 15:10 UTC
beta version of new book available: "Synthetic Geometry of Manifolds"
2009-03-01 15:23 UTC
More arrow decorations
2009-02-28 16:55 UTC
ticked arrowheads in xy-pic and diagxy
2009-02-26 1:08 UTC
E. W. Beth Dissertation Prize: 2009 call for submissions
2009-02-25 20:30 UTC
Question on E-coreflective subcategories
2009-02-25 14:52 UTC
MFPS Call for Participation
2009-02-24 6:45 UTC
Dedekind versus Cauchy reals
2009-02-23 9:03 UTC
Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-23 8:16 UTC
Categorical development of algebra?
2009-02-23 2:01 UTC
Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-22 22:19 UTC
Dedekind versus Cauchy reals
2009-02-22 14:09 UTC
MFPS Call for Participation
2009-02-22 13:58 UTC
MFPS Call for Participation
2009-02-22 13:58 UTC
Re Dedekind versus Cauchy reals
2009-02-21 18:17 UTC
Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-21 17:18 UTC
Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-21 16:29 UTC
Fixing the constructive continued-fraction definition of the reals: proofs and refutations
2009-02-20 7:57 UTC
ESSLLI 2009 Call for Participation
2009-02-18 17:26 UTC
Question on E-coreflective subcategories
2009-02-18 16:23 UTC
Dedekind versus Cauchy reals
2009-02-16 22:09 UTC
2nd Call for Participation - Midlands Graduate School in the Foundations of Computing Science 2009
2009-02-16 15:41 UTC
2nd Call for Participation - Midlands Graduate School in the Foundations of Computing Science 2009
2009-02-16 15:41 UTC
Dedekind versus Cauchy reals
2009-02-16 7:01 UTC
enriched Kan-extensions
2009-02-15 22:31 UTC
Dedekind versus Cauchy reals
2009-02-15 7:43 UTC
Dedekind versus Cauchy reals
2009-02-15 6:50 UTC
Dedekind versus Cauchy reals
2009-02-13 15:05 UTC
enriched Kan-extensions
2009-02-13 13:47 UTC
First CFP for FACS'09
2009-02-13 13:21 UTC
Dedekind versus Cauchy reals
2009-02-13 12:28 UTC
"Kantor dust"
2009-02-13 5:40 UTC
Dedekind versus Cauchy reals
2009-02-13 4:39 UTC
Dedekind versus Cauchy reals
2009-02-13 0:07 UTC
Dedekind versus Cauchy reals
2009-02-12 12:54 UTC
"Kantor dust"
2009-02-12 9:05 UTC
"Kantor dust"
2009-02-12 9:00 UTC
"Kantor dust"
2009-02-12 4:25 UTC
"Kantor dust"
2009-02-12 4:10 UTC
"Kantor dust"
2009-02-12 4:05 UTC
Fields Workshop on Smooth Structures - Accommodation
2009-02-12 3:29 UTC
"Kantor dust"
2009-02-11 23:51 UTC
"Kantor dust"
2009-02-11 22:16 UTC
"Kantor dust"
2009-02-11 19:56 UTC
"Kantor dust"
2009-02-11 17:53 UTC
"Kantor dust"
2009-02-11 17:33 UTC
"Kantor dust"
2009-02-11 16:11 UTC
"Kantor dust"
2009-02-11 15:55 UTC
TACL 2009: Second Announcement and Call for Contributions
2009-02-11 12:55 UTC
"Kantor dust"
2009-02-11 9:01 UTC
"Kantor dust"
2009-02-11 9:01 UTC
"Kantor dust"
2009-02-11 5:49 UTC
"Kantor dust"
2009-02-11 0:13 UTC
"Kantor dust"
2009-02-10 22:18 UTC
"Kantor dust"
2009-02-10 21:05 UTC
"Kantor dust"
2009-02-10 19:04 UTC
postdoc position in Utrecht
2009-02-10 18:03 UTC
SFM-09:WS -- school on formal methods for web services
2009-02-10 11:57 UTC
"Kantor dust"
2009-02-10 9:54 UTC
"Kantor dust"
2009-02-09 22:47 UTC
"Kantor dust"
2009-02-09 22:18 UTC
Dedekind versus Cauchy reals
2009-02-09 11:49 UTC
symmetric monoidal adjunctions
2009-02-09 11:26 UTC
"Kantor dust"
2009-02-09 1:30 UTC
"Kantor dust"
2009-02-09 0:31 UTC
"Kantor dust"
2009-02-08 20:36 UTC
"Kantor dust"
2009-02-08 15:03 UTC
"Kantor dust"
2009-02-08 14:51 UTC
"Kantor dust"
2009-02-08 11:56 UTC
"Kantor dust"
2009-02-07 22:58 UTC
"Kantor dust"
2009-02-07 17:18 UTC
"Kantor dust"
2009-02-07 0:37 UTC
"Kantor dust"
2009-02-05 21:44 UTC
Draft paper submission deadline extended: Category Theory
2009-02-05 7:14 UTC
"Kantor dust"
2009-02-04 20:24 UTC
Preprint : Directed algebraic topology and higher dimensional transition system
2009-02-04 9:09 UTC
Fields Workshop on Smooth Structures in Logic, Category Theory and Physics
2009-02-04 1:55 UTC
"Kantor dust"
2009-02-03 17:59 UTC
"Kantor dust"
2009-02-02 23:43 UTC
Question on "On Closed Categories of Functors"
2009-02-02 7:53 UTC
Kantor dust
2009-02-02 1:16 UTC
Question on "On Closed Categories of Functors"
2009-02-01 19:11 UTC
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).