Categories

categories-list@categories.org.au

July 1994

  • 12 participants
  • 13 discussions

26 Jul '94
Papers
by Murray Adelman 23 Jul '94

23 Jul '94
second call for papers, TLCA
by Philippa Gardner 22 Jul '94

22 Jul '94

21 Jul '94
Re: Anouncement of Preprints
by Murray Adelman 19 Jul '94

19 Jul '94
E-M factorization system question
by William H. Rowan 19 Jul '94

19 Jul '94

11 Jul '94
Re: Empty types and typed lambda calculus
by John C. Mitchell 08 Jul '94

08 Jul '94
Revised version of Acyclic models
by Michael Barr 07 Jul '94

07 Jul '94