2012 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Wed Mar 14 10:44:17 EDT 2012
Ending: Tue Dec 11 04:47:38 EST 2012
Messages: 54

• [TYPES] passing away of N.G. de Bruijn   Vrijer, R.C. de
• [TYPES] A question about unification terminology   Giuseppe Castagna
  • [TYPES] A question about unification terminology   Christian Skalka
  • [TYPES] A question about unification terminology   Fritz Henglein
  • [TYPES] A question about unification terminology   François Fages
    • [TYPES] A question about unification terminology   Giuseppe Castagna
• [TYPES] Is naive freshness adequate to avoid capture?   Philip Wadler
  • [TYPES] Is naive freshness adequate to avoid capture?   Ben Karel
  • [TYPES] Is naive freshness adequate to avoid capture?   Philip Wadler
  • [TYPES] Is naive freshness adequate to avoid capture?   Rene Vestergaard
    • [TYPES] Is naive freshness adequate to avoid capture?   Vincent van Oostrom
  • [TYPES] Is naive freshness adequate to avoid capture?   LD
• [TYPES] Explicit renaming of bound variables   George Cherevichenko
• [TYPES] strict unit type   Vladimir Voevodsky
  • [TYPES] strict unit type   Frederic Blanqui
    • [TYPES] strict unit type   Vladimir Voevodsky
      • [TYPES] strict unit type   Frederic Blanqui
      • [TYPES] strict unit type   Vladimir Voevodsky
      • [TYPES] strict unit type   Frederic Blanqui
    • [TYPES] strict unit type   Roberto Di Cosmo
  • [TYPES] strict unit type   Vladimir Voevodsky
  • [TYPES] strict unit type   Altenkirch Thorsten
    • [TYPES] strict unit type   Robert Harper
      • [TYPES] strict unit type   Vladimir Voevodsky
• [TYPES] a question   Vladimir Voevodsky
  • [TYPES] a question   Vladimir Voevodsky
• [TYPES] question (cont.)   Vladimir Voevodsky
  • [TYPES] question (cont.)   Vladimir Voevodsky
    • [TYPES] question (cont.)   Sergei Soloviev
• [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC   Derek Dreyer
  • [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC   Derek Dreyer
  • [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC   Sam Lindley
    • [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC   Derek Dreyer
      • [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC   Derek Dreyer
      • [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC   Altenkirch Thorsten
      • [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC   Derek Dreyer
      • [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC   Andreas Abel
      • [TYPES] decidability/confluence of beta-eta convertibility in Church-style STLC   Altenkirch Thorsten
• [TYPES] [REMINDER] Agda Intensive Meeting 16th (AIM XVI) in Copenhagen   Nicolas Pouillard
• [TYPES] Free theorems for maps of higher rank and polarized systems?   Ahn, Ki Yung
• [TYPES] Please give me a link. Is alpha-conversion easy or not?   George Cherevichenko
  • [TYPES] Please give me a link. Is alpha-conversion easy or not?   Sergei Soloviev
  • [TYPES] Please give me a link. Is alpha-conversion easy or not?   Michael Norrish
• [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type?   Derek Dreyer
  • [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type?   Uday S Reddy
    • [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type?   Derek Dreyer
      • [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type?   Uday S Reddy
      • [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type?   Derek Dreyer
      • [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type?   Kevin Watkins
      • [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type?   Robert Harper
      • [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type?   Uday S Reddy
      • [TYPES] a counterexample to Plotkin and Abadi's characterization of equivalence at existential type?   Derek Dreyer
• [TYPES] Strong normalization of overlapping rewrite rules   Andreas Abel
  • [TYPES] Strong normalization of overlapping rewrite rules   Frederic Blanqui

Last message date: Tue Dec 11 04:47:38 EST 2012
Archived on: Tue Dec 11 04:48:42 EST 2012

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...