Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden)
       [not found] <F7BCD5CB-44C1-43C2-9A3F-022209B961FC@gmail.com>
@ 2024-07-01 16:28 ` Steve Awodey
  0 siblings, 0 replies; only message in thread
From: Steve Awodey @ 2024-07-01 16:28 UTC (permalink / raw)
  To: homotopytypetheory

[-- Attachment #1: Type: text/html, Size: 3272 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2024-07-01 16:29 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <F7BCD5CB-44C1-43C2-9A3F-022209B961FC@gmail.com>
2024-07-01 16:28 ` [HoTT] CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden) Steve Awodey

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).