Thread Index (0807)

[Chronological Index] [Top]
Last update: Fri Aug 01 00:15:01 2008
31 threaded messages

  • [mizar] [gmane.comp.science.types.announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue), Jesse Alama
  • [no subject], Mailing list agent
  • [mizar] Contact with Freek, Piotr Rudnicki
  • [mizar] [gmane.comp.science.types.announce] Types Considered Harmful, Jesse Alama
  • Re: [mizar] "Formalized Mathematics", Jesse Alama
  • [mizar] [Hol-info] New article type PROOF PEARLS in Journal of Automated Reasoning (fwd), Josef Urban

    • [Chronological Index] [Top]