List archive

• Re: [Coq-Club] Empty type, (continued)
  • Re: [Coq-Club] Empty type, Guillaume Brunerie, 02/13/2013
    • Re: [Coq-Club] Empty type, Jean-Francois Monin, 02/13/2013
    • Re: [Coq-Club] Empty type, Marco Maggesi, 02/13/2013
• [Coq-Club] ACL2 2013 - Last Call For Papers - Extended Deadline, Jared C. Davis, 02/13/2013
• [Coq-Club] ARW'13: CFP & Student Grant Deadline Approaching, Ekaterina Komendantskaya, 02/13/2013
• [Coq-Club] Predicative Church numerals, Arthur Azevedo de Amorim, 02/13/2013
  • Re: [Coq-Club] Predicative Church numerals, Colm Bhandal, 02/14/2013
    • Re: [Coq-Club] Predicative Church numerals, Arthur Azevedo de Amorim, 02/14/2013
  • Message not available
    • Re: [Coq-Club] Predicative Church numerals, Arthur Azevedo de Amorim, 02/14/2013
• [Coq-Club] Second Call For Papers: Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK, Serge Autexier, 02/14/2013
• [Coq-Club] TABLEAUX 2013 - Second Call for Papers, Tutorials and Workshops, Dominique Larchey-Wendling, 02/14/2013
• [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, Valentin ROBERT, 02/16/2013
  • <Possible follow-up(s)>
  • [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, valentin.robert.42, 02/17/2013
    • RE: [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, Georges Gonthier, 02/17/2013
      • Re: [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, Valentin ROBERT, 02/17/2013
      • RE: [Coq-Club] Abstracting leads to a term ill-typed… yet well-typed, Georges Gonthier, 02/17/2013
• [Coq-Club] Conf. Intelligent Computer Mathematics (CICM 2013), July 8-12, 2013, Bath, UK, Makarius, 02/18/2013
• [Coq-Club] "Unable to parse accelerator ...", Dmitry Grebeniuk, 02/19/2013
  • Re: [Coq-Club] "Unable to parse accelerator ...", Xavier Leroy, 02/22/2013
    • Re: [Coq-Club] "Unable to parse accelerator ...", Dmitry Grebeniuk, 02/22/2013
• [Coq-Club] Getting [Existing Class] to behave like [Class], Jason Gross, 02/19/2013
  • Re: [Coq-Club] Getting [Existing Class] to behave like [Class], Matthieu Sozeau, 02/19/2013
• [Coq-Club] 2 postdoc positions at IRIT Toulouse and INRIA Nancy, Stephan Merz, 02/20/2013
• [Coq-Club] Types Meeting 2013 in Toulouse, 23 - 26 April: last call for contributions, Ralph Matthes, 02/21/2013
• [Coq-Club] nested definitions, Nuno Gaspar, 02/21/2013
  • Re: [Coq-Club] nested definitions, Pierre-Marie Pédrot, 02/22/2013
    • Re: [Coq-Club] nested definitions, Jean-Francois Monin, 02/22/2013
  • Re: [Coq-Club] nested definitions, AUGER Cédric, 02/22/2013
• [Coq-Club] QEST 2013 - Last call for papers, Damian Barsotti, 02/21/2013
• [Coq-Club] AI4FM 2013 : First Call For Papers (ITP 2013 workshop), Ewen Maclean, 02/22/2013

Archive powered by MHonArc 2.6.18.