My ftp directory
1999-06-02 20:53 UTC
MPC2000: 5th Int. Conf. on Math. of Program Construction - CFP
1999-06-02 16:02 UTC
JPAA issue in honor of S.Mac Lane
1999-06-02 13:53 UTC
CONCUR'99 Call for participation
1999-06-01 12:19 UTC
Recursive types in polymorphic lambda calculus
1999-05-31 16:09 UTC
LUATCS'99 2nd announcement
1999-05-25 10:43 UTC
OOSDS99 Call for papers
1999-05-20 14:47 UTC
Illness of John Isbell
1999-05-16 14:37 UTC
Recursive types in polymorphic lambda calculus
1999-05-14 19:24 UTC
WoLLIC'99 - Call for Participation
1999-05-13 12:56 UTC
FroCoS'2000: First Call for Papers
1999-05-12 12:48 UTC
FMCS 99
1999-05-11 21:12 UTC
PROBMIV'99: Final Call for Papers
1999-05-11 8:59 UTC
Summer address for categories
1999-05-10 14:08 UTC
2nd Call for Papers WDS99
1999-05-10 13:01 UTC
Catop 2000
1999-05-07 13:22 UTC
Preprint: Combinatorial homology and image analysis
1999-05-07 10:51 UTC
question about weak omega category
1999-05-07 9:51 UTC (2+ messages)
LPNMR'99 Call for Papers
1999-05-06 21:21 UTC
Weak Bisimulation and Open Maps
1999-05-06 11:54 UTC
Kleisli bi-categories
1999-05-05 8:22 UTC
Lectureship in Computer Science
1999-05-01 12:23 UTC
CTCS '99: Extension of deadline till 7 May 1999
1999-04-23 15:44 UTC
Research Positions
1999-04-23 11:52 UTC
Workshop: "OPERADS AND APPLICATIONS",
1999-04-21 13:28 UTC
WAIT99 - Call for Papers
1999-04-19 13:31 UTC
small universes
1999-04-12 16:56 UTC (2+ messages)
AMS Buffalo April 24/25, 1999
1999-04-11 17:51 UTC
email
1999-04-08 15:19 UTC
incompleteness of ZF
1999-04-08 13:08 UTC (4+ messages)
` April 1st & related matters
incompleteness of ZF
1999-04-08 7:49 UTC
Position at Ottawa U
1999-04-05 17:25 UTC
Is Zermelo-Fraenkel set theory inconsistent?
1999-04-01 20:23 UTC (3+ messages)
list outage
1999-03-31 12:43 UTC
CTCS '99 (Deadline 23 April 1999)
1999-03-30 12:51 UTC
WAIT99 - Call for Papers
1999-03-25 14:09 UTC
PhD Studentship at Edinburgh
1999-03-24 14:55 UTC
On reflexivity
1999-03-20 2:19 UTC
Ronnie Brown's type-dream
1999-03-19 19:23 UTC
my groupoid model
1999-03-19 19:05 UTC
Polymorphic lambda-calculus
1999-03-19 16:13 UTC (2+ messages)
` Naive question on Polymorphic lambda-calculus, etc
more on monoidal structure of graphs
1999-03-19 15:03 UTC
polymorphic lambda-calculus
1999-03-19 13:51 UTC (2+ messages)
` They often come in pairs
more on monoidal structure of graphs
1999-03-19 13:27 UTC
Errata corrige to my previous message
1999-03-19 8:27 UTC
"Practical Foundations of Mathematics"
1999-03-18 20:44 UTC
Monoidal structure, take II
1999-03-18 18:40 UTC (3+ messages)
` and there is a topological connection too
Monoidal structure, take II
1999-03-18 17:27 UTC
Polymorphic lambda-calculus
1999-03-18 14:33 UTC
Monoidal structure on graphs
1999-03-18 10:55 UTC
Monoidal structure on graphs
1999-03-17 15:24 UTC
Research scholarships available at Birmingham
1999-03-16 10:06 UTC
lax monad
1999-03-14 23:39 UTC
BCTCS 15
1999-03-13 12:19 UTC
lax monad
1999-03-13 4:10 UTC
Rewrite Methods for Kan Extensions of Actions of Categories
1999-03-11 14:20 UTC
Report on verification of unknown number of processes
1999-03-10 6:29 UTC
Quantum vertex algebras
1999-03-09 15:17 UTC
geometric formulas
1999-03-08 22:54 UTC
Computer Science Logic Conference (CSL'99)
1999-03-08 10:53 UTC
AMS Buffalo, revised
1999-03-07 22:37 UTC
AMS Buffalo, April 24/25
1999-03-05 16:53 UTC
geometric formulae and axioms
1999-03-05 10:15 UTC
OOSDS99 Call for papers
1999-03-04 9:00 UTC
TLCA'99 (Second Call for Participation)
1999-03-04 8:29 UTC
geometric formulae and axioms
1999-03-03 17:33 UTC (2+ messages)
PhD positions
1999-03-01 16:13 UTC
OOSDS'99 CALL FOR PAPERS
1999-03-01 11:47 UTC
SCTA - second announcement
1999-02-25 15:41 UTC
Paper on linear bicategories (and non-commutative linear logic)
1999-02-25 5:01 UTC
Oriented homotopy and Concurrency
1999-02-24 22:50 UTC
Industrial application
1999-02-24 1:57 UTC
Vaughan, in the real world
1999-02-23 15:23 UTC
PhD in Informatics (AI, CS, CogSci) at Edinburgh
1999-02-23 14:31 UTC
Paper Announcement: Control Categories and Duality
1999-02-23 5:09 UTC
Spring School on Categorical Methods in Logic & Computer Science
1999-02-22 10:20 UTC
MSc in Informatics (AI, CS, CogSci) at Edinburgh
1999-02-22 0:13 UTC
CSL'99 Last CFP (Text & LaTex versions)
1999-02-18 20:08 UTC
Final CFP: special issue of JAR on satisfiability
1999-02-17 15:38 UTC
2nd CFP: Intuitionistic Modal Logic and Applications
1999-02-17 15:12 UTC
book announcement: Categorical Logic and Type Theory
1999-02-16 13:05 UTC
TAC 1998 contents
1999-02-15 22:21 UTC (2+ messages)
` Change of address
email address change
1999-02-15 3:42 UTC
Buffalo email down
1999-02-14 14:45 UTC
TOOLS EUROPE '99 - Last Call for Papers
1999-02-10 3:00 UTC
New_PhD_positions_at_Chalmers
1999-02-09 14:12 UTC
MFPS XV Update
1999-02-09 2:47 UTC
A short question about lax-natural transformations
1999-02-07 11:49 UTC
School on Logic and Computation
1999-02-06 11:56 UTC
higher-dimensional algebra and Planck-scale physics
1999-02-06 1:26 UTC
CT99 - Second Announcement
1999-02-05 19:18 UTC
no coherence assumptions
1999-02-05 19:03 UTC
TLCA'99 Call for Participation (Text & LaTex versions)
1999-02-05 10:06 UTC
coherence
1999-02-04 2:11 UTC
Reading advice
1999-02-03 7:33 UTC (2+ messages)
Positions at Chalmers, Gothenburg, Sweden
1999-02-02 13:30 UTC
my earlier comments on certain limits in algebras for a 2-category
1999-02-01 13:25 UTC
SGM GUI v1.2 Released
1999-02-01 10:37 UTC
CFP: PDPTA-99 Codesign Session
1999-02-01 8:23 UTC (2+ messages)
` PSI99 submission deadline extension
Artin glueing et cetera; comments of Barr, Jay, Crole, and Johnstone
1999-02-01 6:55 UTC
Reading advise on bicategory theory
1999-02-01 1:28 UTC
paper announcement
1999-02-01 0:00 UTC
Reading advise on bicategory theory
1999-01-31 15:20 UTC (2+ messages)
Pullback perserving functor
1999-01-29 15:35 UTC (3+ messages)
` Pullback preserving functor
Barry Jay's question
1999-01-29 13:08 UTC
Generalized Enrichment
1999-01-29 12:29 UTC
Conference Announcement BCTCS 15
1999-01-29 10:46 UTC
Maude 1.00 Release
1999-01-29 1:17 UTC
two questions about universal quantification
1999-01-28 9:45 UTC (3+ messages)
PSSL 70 -- Second Announcement
1999-01-27 15:29 UTC
May 3-7, 1999: Summer School in Semantics of Computation
1999-01-25 22:48 UTC
new mail address
1999-01-25 8:30 UTC
Juergen's question
1999-01-25 8:11 UTC (2+ messages)
SGM v1.1 Released
1999-01-22 0:57 UTC
Inquiry - Manhattan Street Problem
1999-01-21 22:27 UTC
first reference to "dualizing object"?
1999-01-20 20:07 UTC (2+ messages)
Paper Announcement
1999-01-20 12:28 UTC
Memorial
1999-01-19 21:21 UTC
CSL'99 3rd CFP (Text & LaTex versions)
1999-01-18 7:07 UTC
Lectureships in Computer Science
1999-01-13 18:20 UTC
categorical geometry
1999-01-12 17:32 UTC
AP on young Myles
1999-01-12 12:05 UTC
6th WoLLIC'99 - 3rd Call
1999-01-11 20:18 UTC
Terrible news -- young Myles
1999-01-11 13:01 UTC
References
1999-01-08 18:01 UTC
strictification
1999-01-07 7:49 UTC
strictification
1999-01-06 22:56 UTC (2+ messages)
Paper Announcement
1999-01-06 18:04 UTC
Synthetic Domain Theory
1999-01-06 17:52 UTC
An Abstract Stone Duality
1999-01-06 11:35 UTC
An Abstract Stone Duality
1999-01-04 21:41 UTC
Mail to McGill not functionning
1998-12-28 16:32 UTC
Reminder: Call for Papers, Lambekfest
1998-12-24 0:09 UTC
CTCS '99 FIRST CALL FOR PAPERS
1998-12-22 11:36 UTC (2+ messages)
` thesis (involving rewriting and Kan extensions)
PhD in Informatics (AI, CS, CogSci) at Edinburgh
1998-12-21 17:52 UTC
MSc in Informatics (AI, CS, CgSci) at Edinburgh
1998-12-21 17:23 UTC
WAIT99 - Preliminary Call for Papers
1998-12-21 17:03 UTC
CONCUR'99 CFP
1998-12-21 8:52 UTC
PSSL 70: First announcement
1998-12-19 12:31 UTC
preprint
1998-12-19 1:44 UTC
EuroPar 99 / Toulouse
1998-12-17 8:15 UTC
paper on SDT available
1998-12-16 11:10 UTC
Inferring colimits
1998-12-16 10:55 UTC (2+ messages)
Preprint available (Fiore, Plotkin, and Turi)
1998-12-15 21:12 UTC
Preprint available
1998-12-14 22:51 UTC
SECOND ANNOUNCEMENT: SMOOTH CATEGORIES IN GEOMETRY AND MECHANICS
1998-12-14 22:45 UTC
one-object closed categories
1998-12-12 21:31 UTC (3+ messages)
` "
V-categories where V "is" an abelian monoid
1998-12-12 8:31 UTC
PhD position available
1998-12-11 7:49 UTC
Question of Tom Leinster of 26 Nov: one-object closed categories
1998-12-10 12:23 UTC
preprint (revised) available
1998-12-10 6:22 UTC
triples down
1998-12-01 18:50 UTC
TOOLS EUROPE '99 - Call for Submissions
1998-11-30 23:32 UTC
commutative monoids
1998-11-26 19:56 UTC
n-categorical miscellany
1998-11-24 23:28 UTC
Continuity
1998-11-24 17:42 UTC
Continuity
1998-11-24 13:35 UTC
HDA4: 2-Tangles
1998-11-24 4:08 UTC
about dimension of morphisms
1998-11-23 15:45 UTC
query
1998-11-20 23:06 UTC
Jim's query
1998-11-20 22:40 UTC (2+ messages)
staragain.dvi
1998-11-20 20:53 UTC
Professorship in Programming Theory, University of Bergen
1998-11-20 20:07 UTC
BRICS Int. PhD School: Call for Admission and Grant Applications
1998-11-20 20:06 UTC
Joyal's message + query
1998-11-20 18:58 UTC
announcement of pre-prints
1998-11-20 3:49 UTC
higher order category theory and homotopy theory
1998-11-19 19:06 UTC
Michael Barr named Peter Redpath Professor (fwd)
1998-11-19 15:08 UTC
Has this topos ever been found useful?
1998-11-19 11:53 UTC
category-homotopy
1998-11-19 10:34 UTC
query
1998-11-19 9:31 UTC
query
1998-11-19 1:15 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).