2023 Archives by author

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

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

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