2017 Archives by thread

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

Starting: Thu Feb 2 14:11:20 EST 2017
Ending: Fri Dec 22 03:55:39 EST 2017
Messages: 88

• [TYPES] semantic coherence for simply typed lambda-calculus   Paul B Levy
  • [TYPES] semantic coherence for simply typed lambda-calculus   Paolo Giarrusso
    • [TYPES] semantic coherence for simply typed lambda-calculus   Gabriel Scherer
      • [TYPES] semantic coherence for simply typed lambda-calculus   Paolo Giarrusso
      • [TYPES] semantic coherence for simply typed lambda-calculus   Andreas Abel
  • [TYPES] semantic coherence for simply typed lambda-calculus   Guillaume Munch-Maccagnoni
• [TYPES] Autumn school "Proof and Computation"   Chuangjie Xu
• [TYPES] Any formal models of method lookup mechanism in C++?   Yanlin Wang
  • [TYPES] Any formal models of method lookup mechanism in C++?   DeLesley Hutchins
  • [TYPES] Any formal models of method lookup mechanism in C++?   Gabriel Scherer
    • [TYPES] Any formal models of method lookup mechanism in C++?   Mitchell Wand
• [TYPES] What are congruence rules called?   Philip Wadler
  • [TYPES] What are congruence rules called?   Filippo Sestini
  • [TYPES] What are congruence rules called?   Francesco Gavazzo
  • [TYPES] What are congruence rules called?   J. R. Hindley
    • [TYPES] What are congruence rules called?   Philip Wadler
      • [TYPES] What are congruence rules called?   Gabriel Scherer
  • [TYPES] What are congruence rules called?   Norman Ramsey
  • [TYPES] What are congruence rules called?   Andrew Myers
    • [TYPES] What are congruence rules called?   Andreas Abel
    • [TYPES] What are congruence rules called?   Beta Ziliani
  • [TYPES] What are congruence rules called?   Philip Wadler
• [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?   Yang, Yanpeng
  • [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?   James Koppel
    • [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?   Christian Doczkal
  • [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?   Yang, Yanpeng
• [TYPES] Inverse limit for categories   Arthur Azevedo de Amorim
• [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Bruno Bentzen
  • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Ahmad Salim Al-Sibahi
    • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Andrej Bauer
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Andrej Bauer
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Bruno Bentzen
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Paolo Giarrusso
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Jon Sterling
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Paolo Giarrusso
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Bruno Bentzen
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Andrej Bauer
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Thomas Streicher
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Jon Sterling
      • [TYPES] Meaning explanations and the invalidity of the law of excluded middle   Thomas Streicher
• [TYPES] Book on Category Theory   Aaron Gray
  • [TYPES] Book on Category Theory   Gabriel Scherer
  • [TYPES] Book on Category Theory   Giuseppe Castagna
  • [TYPES] Book on Category Theory   Moez A. AbdelGawad
    • [TYPES] Book on Category Theory   François Thiré
    • [TYPES] Book on Category Theory   John Leo
      • [TYPES] Book on Category Theory   Aaron Gray
      • [TYPES] Book on Category Theory   Burak Emir
      • [TYPES] Book on Category Theory   Dan Doel
      • [TYPES] Book on Category Theory   Sean Leather
      • [TYPES] Book on Category Theory   Gabriel Scherer
      • [TYPES] Book on Category Theory   Aaron Gray
      • [TYPES] Book on Category Theory   Aaron Gray
  • [TYPES] Book on Category Theory   Alan Schmitt
  • [TYPES] Book on Category Theory   Uday S Reddy
  • [TYPES] Book on Category Theory   Gergely Buday
    • [TYPES] FW: Book on Category Theory   Dimitrios Vytiniotis
• [TYPES] Passing of Corrado Böhm   Mariangiola Dezani
• [TYPES] new moderator: Gabriel Scherer   Dimitrios Vytiniotis
  • [TYPES] new moderator: Gabriel Scherer   Gabriel Scherer
• [TYPES] [TYPES/announce] new moderator: Gabriel Scherer   Benjamin C. Pierce
  • [TYPES] [TYPES/announce] new moderator: Gabriel Scherer   Rishiyur Nikhil
• [TYPES] temporal type theory book   David Spivak
  • [TYPES] subject reduction   Herman Geuvers
    • [TYPES] Subject reduction   Ansten Mørch Klev
    • [TYPES] subject reduction   J. R. Hindley
• [TYPES] [TYPES/announce] subject reduction   Gabriel Scherer
• [TYPES] Formal models of python-like languages   Halley Young
  • [TYPES] Formal models of python-like languages   James Cheney
  • [TYPES] Formal models of python-like languages   Alan Schmitt
• [TYPES] I: On Dependent types and Subtyping's consistency   Giacomo Bergami
  • [TYPES] I: On Dependent types and Subtyping's consistency   Gabriel Scherer
    • [TYPES] I: On Dependent types and Subtyping's consistency   Sandro Stucki
      • [TYPES] ?==?utf-8?q? ?==?utf-8?q? I: On Dependent types and Subtyping's consistency   Sergei Soloviev
      • [TYPES] I: On Dependent types and Subtyping's consistency   DeLesley Hutchins
    • [TYPES] I: On Dependent types and Subtyping's consistency   Giuseppe Castagna
  • [TYPES] I: On Dependent types and Subtyping's consistency   Stefan Monnier
    • [TYPES] I: On Dependent types and Subtyping's consistency   Giacomo Bergami
      • [TYPES] I: On Dependent types and Subtyping's consistency   Giacomo Bergami
      • [TYPES] I: On Dependent types and Subtyping's consistency   Giacomo Bergami
  • [TYPES] I: On Dependent types and Subtyping's consistency   Frank Pfenning
  • [TYPES] On Dependent types and Subtyping's consistency   Ken Kubota
  • [TYPES] I: On Dependent types and Subtyping's consistency   Rodolphe Lepigre
• [TYPES] An Expressive Type System helping for run-time verification   Marco Servetto
  • [TYPES] An Expressive Type System helping for run-time verification   Dorel Lucanu
• [TYPES] judgemental eta for function types   Paul Blain Levy
  • [TYPES] judgemental eta for function types   Andreas Abel
  • [TYPES] judgemental eta for function types   Matthieu Sozeau

Last message date: Fri Dec 22 03:55:39 EST 2017
Archived on: Fri Dec 22 04:44:19 EST 2017

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