2023 Archives by thread

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

Starting: Thu Feb 16 17:23:09 EST 2023
Ending: Sun Dec 17 06:55:30 EST 2023
Messages: 45

• [TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion   Gabriel Scherer
  • [TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion   Gabriel Scherer
    • [TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion   Gabriel Scherer
• [TYPES] Full abstraction of applicative contexts in call-by-value   Francesco Gavazzo
  • [TYPES] Full abstraction of applicative contexts in call-by-value   Sergey Goncharov
    • [TYPES] Full abstraction of applicative contexts in call-by-value   Francesco Gavazzo
  • [TYPES] Full abstraction of applicative contexts in call-by-value   Luca
  • [TYPES] Full abstraction of applicative contexts in call-by-value   Paul Levy
    • [TYPES] Full abstraction of applicative contexts in call-by-value   Francesco Gavazzo
• [TYPES] Equivalence invariance for MLTT (reference request)   andrej.bauer at andrej.com
  • [TYPES] Equivalence invariance for MLTT (reference request)   Jon Sterling
    • [TYPES] Equivalence invariance for MLTT (reference request)   andrej.bauer at andrej.com
  • [TYPES] Equivalence invariance for MLTT (reference request)   andrej.bauer at andrej.com
• [TYPES] Consistency of Quine’s New Foundations   Gabbay, Jamie
• [TYPES] Peter Aczel   amp12
• [TYPES] chair of cybersecurity at the hardware/software interface   Radu Iosif
• [TYPES] Why are ACM conference registrations so expensive now?   Neel Krishnaswami
  • [TYPES] [External] Why are ACM conference registrations so expensive now?   Ingle, Apoorv N
    • [TYPES] [External] Why are ACM conference registrations so expensive now?   Caleb Stanford
      • [TYPES] [External] Why are ACM conference registrations so expensive now?   Fritz Henglein
  • [TYPES] Why are ACM conference registrations so expensive now?   Gardner, Philippa A
  • [TYPES] Why are ACM conference registrations so expensive now?   Jon Sterling
  • [TYPES] Why are ACM conference registrations so expensive now?   Martin Lester
  • [TYPES] Why are ACM conference registrations so expensive now?   Jonathan Aldrich
    • [TYPES] Why are ACM conference registrations so expensive now?   Jules Jacobs
      • [TYPES] Why are ACM conference registrations so expensive now?   Hugo Herbelin
    • [TYPES] Why are ACM conference registrations so expensive now?   Derek Dreyer
    • [TYPES] Why are ACM conference registrations so expensive now?   William J. Bowman
      • [TYPES] Why are ACM conference registrations so expensive now?   Fabian Muehlboeck
  • [TYPES] Why are ACM conference registrations so expensive now?   Eijiro Sumii
  • [TYPES] Why are ACM conference registrations so expensive now?   Gabriel Scherer
    • [TYPES] Why are ACM conference registrations so expensive now?   Adam Chlipala
      • [TYPES] Why are ACM conference registrations so expensive now?   Guilherme Espada
      • [TYPES] Why are ACM conference registrations so expensive now?   Adam Chlipala
      • [TYPES] Why are ACM conference registrations so expensive now?   Stefan Monnier
      • [TYPES] Why are ACM conference registrations so expensive now?   Guilherme Espada
      • [TYPES] [External] Why are ACM conference registrations so expensive now?   Ingle, Apoorv N
      • [TYPES] Why are ACM conference registrations so expensive now?   Neel Krishnaswami
    • [TYPES] Why are ACM conference registrations so expensive now?   Stefan Monnier
    • [TYPES] Why are ACM conference registrations so expensive now?   Sam Lindley
      • [TYPES] [External] Re: Why are ACM conference registrations so expensive now?   Jeff Foster
      • [TYPES] [External] Re: Why are ACM conference registrations so expensive now?   Peter Thiemann
• [TYPES] Looking for C. P. Wadsworth's PhD thesis   Rémy Cerda
  • [TYPES] Looking for C. P. Wadsworth's PhD thesis   Ohad Kammar
    • [TYPES] Looking for C. P. Wadsworth's PhD thesis   Rémy Cerda

Last message date: Sun Dec 17 06:55:30 EST 2023
Archived on: Sun Dec 17 12:53:33 EST 2023

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