announcement
1997-07-04 1:12 UTC
WoLLIC'97 - Call for Participation
1997-07-03 21:27 UTC
research position available at Cambridge
1997-07-02 16:48 UTC
functions Omega->Omega
1997-07-02 16:33 UTC
Query
1997-07-01 18:14 UTC
comma categories
1997-07-01 18:13 UTC
Preprint available
1997-07-01 18:12 UTC
my formula again
1997-07-01 18:11 UTC
algebraic logic via arrows
1997-07-01 2:42 UTC
Query
1997-07-01 2:41 UTC
AMAST '97 - Call for TOOL AND SYSTEM DEMOS
1997-07-01 2:40 UTC
Query
1997-07-01 2:39 UTC
functions Omega->Omega
1997-07-01 2:37 UTC
Timetable for Billfest
1997-07-01 2:37 UTC
PSSL65 - Preliminary Announcement
1997-07-01 2:36 UTC
Query
1997-06-29 14:39 UTC
algebraic logic via arrows
1997-06-29 14:37 UTC
pushouts in toposes
1997-06-29 14:36 UTC
REMINDER: MATHFIT Summer School and Workshop
1997-06-27 3:20 UTC
CSL'97: Programme and Call for Participation
1997-06-27 3:17 UTC
CTCS'97 - support for participants
1997-06-27 3:16 UTC
Tentative shcedule, take 2
1997-06-27 3:15 UTC
CT97 Lists
1997-06-27 3:14 UTC
pushouts in toposes
1997-06-18 2:52 UTC
pushouts in toposes
1997-06-18 2:51 UTC
pushouts in toposes
1997-06-17 11:32 UTC
Announcement: paper on linear functors available
1997-06-11 14:53 UTC
Workshop
1997-06-11 14:51 UTC
CT97
1997-06-11 14:51 UTC
BarrFest "entertainments"
1997-06-09 15:39 UTC
Call for papers - BarrFest
1997-06-09 15:38 UTC
Tentative timetable, Billfest
1997-06-09 15:36 UTC
New versions of papers available
1997-06-03 14:05 UTC
CTCS'97 - Call for Participation
1997-06-02 12:10 UTC
ANNOUNCING: Xy-pic version 3.5 released!
1997-06-02 12:09 UTC
injectivity
1997-05-29 17:33 UTC
equilogical spaces
1997-05-27 16:46 UTC
BarrFest Schedule
1997-05-24 19:41 UTC
PhD-Studentships in Theoretical Computer Science
1997-05-21 17:03 UTC
Last Call
1997-05-21 17:02 UTC
ANNOUNCING: Xy-pic version 3.4 released!
1997-05-21 0:18 UTC
Scott is Phoa, locally
1997-05-19 12:19 UTC
CT97
1997-05-18 20:47 UTC
Final CFP: Third Special Australasian Issue of Theoretical Computer Science
1997-05-18 20:46 UTC
correction
1997-05-16 1:19 UTC
An introduction to n-categories
1997-05-16 1:18 UTC
injectivity
1997-05-16 1:17 UTC
injectivity
1997-05-09 16:11 UTC
Change of Address
1997-05-08 16:16 UTC
Change of address
1997-05-06 20:15 UTC
Ad (correction)
1997-05-06 13:27 UTC
cfp: Mathematics of Program Construction '98
1997-05-06 13:25 UTC
Ad
1997-05-05 1:32 UTC
Notes of two lectures
1997-04-30 23:00 UTC
weak \omega-categories
1997-04-29 23:23 UTC
IC-EATCS Annual Advanced School
1997-04-29 18:23 UTC
AMAST'97 CFP
1997-04-28 10:58 UTC
weak \omega-categories
1997-04-28 10:28 UTC
Call for contributions
1997-04-24 18:30 UTC
Notes of two lectures
1997-04-24 18:28 UTC
preprint available
1997-04-24 18:24 UTC
TCS Special Issue: Proof-search in Type-theoretic Languages
1997-04-24 18:22 UTC
Summer School on Games and Computation
1997-04-20 21:16 UTC
4th WoLLIC'97 - third call
1997-04-16 20:23 UTC
ICCL'98: Preliminary Call For Papers
1997-04-16 20:21 UTC
protected files
1997-04-16 20:19 UTC
new preprint available
1997-04-12 19:01 UTC
Preprint available
1997-04-10 19:34 UTC
SAS'97 (Extended Deadline
1997-04-10 13:55 UTC
CSL'97 Deadline Approaching Fast
1997-04-09 14:35 UTC
PSSL 64, second announcement
1997-04-09 14:34 UTC
BarrFest (Montreal) - 2nd notice
1997-04-05 12:45 UTC
Article on "Higher dimensional group theory"
1997-04-04 19:38 UTC
Third Special Australasian Issue of Theoretical Computer Science
1997-04-03 17:40 UTC
Lectureships
1997-04-02 15:51 UTC
JFP Editorial
1997-03-27 15:24 UTC
Lectureships at Edinburgh CS Dept
1997-03-24 14:40 UTC
Morphisms of diagrams
1997-03-21 18:00 UTC
Readership
1997-03-20 17:33 UTC
Morphisms of diagrams
1997-03-20 17:31 UTC
good news!
1997-03-19 15:18 UTC
Morphisms of diagrams
1997-03-18 15:24 UTC
BRICS International PhD School: Call for Applications
1997-03-18 14:29 UTC
a characterisation of factorisation systems
1997-03-18 14:29 UTC
2-Tangles
1997-03-18 14:28 UTC
a characterisation of factorisation systems
1997-03-17 18:49 UTC
a characterisation of factorisation systems
1997-03-15 13:49 UTC
AMS Special session in categories
1997-03-12 18:13 UTC
Research Associate Position
1997-03-10 18:31 UTC
non philosophy
1997-03-07 19:43 UTC
Change of e-mail
1997-03-06 17:30 UTC
Intuitionism's Limits
1997-03-06 17:29 UTC
From moderator
1997-03-05 21:22 UTC
Intuitionism's (read "Philosophy's") Limits / flame on
1997-03-05 21:20 UTC
Intuitionism's (read "Philosophy's") Limits
1997-03-05 21:19 UTC
Intuitionism's (read "Philosophy's") Limits
1997-03-05 15:14 UTC
Intuitionism's (read "Philosophy's") Limits
1997-03-05 15:13 UTC
Intuitionism's (read "Philosophy's") Limits
1997-03-05 15:13 UTC
Intuitionism's (read "Philosophy's") Limits
1997-03-05 2:41 UTC
Intuitionism's (read "Philosophy's") Limits
1997-03-03 17:14 UTC
Intuitionism's Limits
1997-03-03 14:37 UTC
Intuitionism's Limits
1997-03-03 14:36 UTC
Intuitionism's Limits
1997-03-03 14:36 UTC
Intuitionism's Limits
1997-03-03 14:35 UTC
Book on semantics of computation
1997-03-02 19:20 UTC
Intuitionism's Limits
1997-03-02 19:18 UTC
CTCS'97 conference - change of deadline
1997-02-27 19:55 UTC
Express97
1997-02-27 19:54 UTC
Category Theory and Databases
1997-02-27 19:53 UTC
PSSL 64
1997-02-25 20:19 UTC
Locales as "topology-free spaces"
1997-02-21 16:27 UTC
Category Theory and Databases
1997-02-21 16:26 UTC
Category Theory and Databases
1997-02-20 18:12 UTC
revised paper available
1997-02-19 15:52 UTC
AMS Special session in categories
1997-02-19 15:51 UTC
CSL '97 second announcement and call for papers
1997-02-18 20:02 UTC
Category Theory and Databases
1997-02-18 20:01 UTC
Category Theory and Databases
1997-02-18 19:59 UTC
Category Theory and Databases
1997-02-17 14:44 UTC
Category Theory and Databases
1997-02-16 19:42 UTC
Category Theory and Databases
1997-02-13 17:39 UTC
query
1997-02-10 15:52 UTC
query
1997-02-10 1:03 UTC
weak n-categories
1997-02-06 0:31 UTC
Lawvere homepage
1997-02-05 19:16 UTC
question on functors adjoint to their dual
1997-02-05 15:36 UTC
CT97: Second Announcement
1997-02-04 20:29 UTC
PhD student positions
1997-02-04 18:12 UTC
question on functors adjoint to their dual
1997-02-04 17:29 UTC
CTCS'97
1997-02-04 14:05 UTC
4th WoLLIC'97 - 2nd Call
1997-02-03 19:53 UTC
Manuscript
1997-02-02 18:02 UTC
Query on w.e.'s
1997-01-31 18:16 UTC
Lax Indexed Functors?
1997-01-31 18:14 UTC
Lax Indexed Functors?
1997-01-29 20:05 UTC
anafunctors
1997-01-29 20:04 UTC
finiteness
1997-01-27 17:15 UTC
PSSL at Bangor
1997-01-24 19:36 UTC
finiteness
1997-01-24 14:55 UTC
anafunctors
1997-01-24 14:54 UTC
finiteness
1997-01-23 18:49 UTC
Finiteness in Toposes
1997-01-22 18:41 UTC
New share package for crossed modules
1997-01-20 18:43 UTC
Finiteness in Toposes
1997-01-17 20:04 UTC
question on finiteness in toposes
1997-01-16 1:25 UTC
question on finiteness in toposes
1997-01-15 14:33 UTC
question on finiteness in toposes
1997-01-15 0:14 UTC
Workshop announcement
1997-01-13 17:39 UTC
question on finiteness in toposes
1997-01-13 14:26 UTC
question on finiteness in toposes
1997-01-12 20:42 UTC
question on finiteness in toposes
1997-01-11 17:15 UTC
question on finiteness in toposes
1997-01-11 17:14 UTC
question on finiteness in toposes
1997-01-10 16:32 UTC
New Address
1997-01-08 20:29 UTC
page: | 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).