2024 Archives by subject

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

Starting: Fri Jan 26 17:18:52 EST 2024
Ending: Fri Apr 19 10:21:29 EDT 2024
Messages: 15

• [TYPES] Alan Jeffrey   Jeremy Gibbons
• [TYPES] a naive question on datatype declarations   Gershom B
• [TYPES] a naive question on datatype declarations   Jon Sterling
• [TYPES] a naive question on datatype declarations   Andreas Rossberg
• [TYPES] a naive question on datatype declarations   Kalani Thielen
• [TYPES] a naive question on datatype declarations   Rebecca Valentine
• [TYPES] a naive question on datatype declarations   Jonathan Aldrich
• [TYPES] a naive question on datatype declarations   Sandro Stucki
• [TYPES] a naive question on datatype declarations   Jon Sterling
• [TYPES] a naive question on datatype declarations   Jon Sterling
• [TYPES] a naive question on datatype declarations   Gershom B
• [TYPES] a naive question on datatype declarations   Richard Eisenberg
• [TYPES] Bibliography of Cyclic and Non-well-founded Proof Theory   Reuben Rowe
• [TYPES] Giving semantics to universes with explicit universe polymorphism   Jason Hu
• [TYPES] Unit types and Dependent Type Theory   Aaron Gray

Last message date: Fri Apr 19 10:21:29 EDT 2024
Archived on: Fri Apr 19 10:48:47 EDT 2024

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