types-list  

Messages by Thread

• • Re: [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC Derek Dreyer
  • Re: [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC Derek Dreyer
  • Re: [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC Altenkirch Thorsten
  • Re: [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC Derek Dreyer
  • Re: [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC Andreas Abel
  • Re: [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC Altenkirch Thorsten
• [TYPES] question (cont.) Vladimir Voevodsky
  • Re: [TYPES] question (cont.) Vladimir Voevodsky
  • Re: [TYPES] question (cont.) Sergei Soloviev
• [TYPES] a question Vladimir Voevodsky
  • Re: [TYPES] a question Vladimir Voevodsky

• Later messages