From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 1011 invoked from network); 16 Sep 2022 09:28:33 -0000 Received: from mail-pj1-x103c.google.com (2607:f8b0:4864:20::103c) by inbox.vuxu.org with ESMTPUTF8; 16 Sep 2022 09:28:33 -0000 Received: by mail-pj1-x103c.google.com with SMTP id v18-20020a17090a899200b00200a2c60f3asf15826350pjn.5 for ; Fri, 16 Sep 2022 02:28:33 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1663320512; cv=pass; d=google.com; s=arc-20160816; b=WOpkc0alP6zUqNyZASnwybOLVeS5Tbjaj9NkYfBra4Xj/mePTPCVhSC3eyxXlBnUMA 5N2Q9/2YBrQVmtps6qcaGvNWNl3xCabu+vkWlr7rASt6M6S4bwDURNi+W3McrZWVOGet +P0xVeh1mIVAOWnWIJpcLXrJmibyJWvxaiVqU831mBYHFRp2O7oDwJ7NUjQ9r2w+i/CY gu8PFsDRwz1BRkkRlVOh27S+6LVghUPM0EOD3JaoJQKUSB2S3caoocig+A6BZE98nLot KbkN48Ub9/uKwVZTlwhmw9aio7sshOziQhk7536h6m5ENk6//y3ya0xv05DetEdET9ui QN6Q== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=fp4obxVsuMHYUMv/Tc7HwCSmMTvWq8oWlmQ538mctpw=; b=gFmLLjlDk7x1TBHIOOOQFUGSMRHijEhVZ3IM65grVAGtfqfQMGZLMIeAuCWkX820ON W7FbYXONaEz0xvTPwpFcnDyLW8ohWp25Zz7LcLZxusmu+AoFi+J1ONMoUTJBdkMFylF4 fmFZ1MUzRLwVn+caaul09++JqhdQQXPDcuqn3OAtPx3JGIbSh0B7uDxIIob1Ak+VTCmE PFGzziXg/T748lNmAftO15LScOy71hNoZhLucrX9JRd+kRrTys2tykbnKYtECqeBpTHV ycH52MtgCsf89dblR+mJnUukMdzVFPHusKiIMFtbFeiWLA+n3JXu7jNeCleHD/gzQPkt tq2g== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=UQpxY3Bs; spf=pass (google.com: domain of anstenklev@gmail.com designates 2607:f8b0:4864:20::a2c as permitted sender) smtp.mailfrom=anstenklev@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date; bh=fp4obxVsuMHYUMv/Tc7HwCSmMTvWq8oWlmQ538mctpw=; b=RcQujRtLOoegS2XvY/7+4BXIgxnNGyM2iGRdRS549DNcvj2rXYnSsTeQ/O9RGBBGwD jGwhRW4EyBW4uFkuqvtczvDdu8++AdhQmNsL5OLk9t7LB5jLh0S/T5bAQxfSHQJIPvpF IphTbtpMmwpanb+r+Cc8dUkS/OXH583kSpVee+FkoDRuUumH7js2EABybOlTZFSoG+Xa fWP3i9JgtCSx8/cSHSvvwWzLAPgP1ezDiNJYXuLwNjeGIju0CoMQuGKY3LoY9DeOMf4q G2lEfcmAXbW9f4pOR06WXpRVl2Dz3hyXZqLVBzJCzleAoCKmqVAbxPQPRmdn6NIbTkHm ow7g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date; bh=fp4obxVsuMHYUMv/Tc7HwCSmMTvWq8oWlmQ538mctpw=; b=fZdwd+mXLL5pBE8GE3S3Zes7AtjR4ZI+h8uKEIG39lVxpv4eq0+PjMuPKrwom0yE+u Ci/4mq0nkyRY8T9usg441H9m0G3YiZiuQsq6bwVTrhWeTpWNlwPn+3A2wual+CCMHRdw buHE4PVRF84aL/FpQF8uNhRdNln9fxEekHcRXI4ESCst41uNZ9Q5n1n/fxarYAh/Gkl6 XzY91yL5luCBw0GRhN6CpCksMi7hmNuV9yDUC+HrIcRqyQlrCfKzPwDJtUV6eCZHUFBk +N09yc2XdNPjOtx2Ze8MiIS6M4KAjfj4bYr+CbPKxnY/hlY/X/8NO4RHnIikosk88yxF +Npw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:x-gm-message-state:sender:from:to :cc:subject:date; bh=fp4obxVsuMHYUMv/Tc7HwCSmMTvWq8oWlmQ538mctpw=; b=rL1yJMVcs/N/SLeQqQXaXjoUhbEqw0fwhVdt8pPS+kA2tg+jLHf5josJBe9STdzKcb FbLLhl6zaHdjHi4mDsrMezk+q1nHF4dh+QUAy6I98h9BHxIeeNseF4UrC5ArfxjnRU6I wVUNel0jT2Vf9gEYXhIUfpfx9RdJHOtQ6DOa23ewpv4v1xrjA4kdXm+HaJaN927PJkpP iJKrGsJh5/QwW3Kj2+baurUSGzzYyvCaXPDiKoYof9S5VzKbLzChv3QwT1IZkSG7eZug 67YAQgZrkO+ao7cJrDGtdAH/LsF6MwEyeJbrs/dgLQ8FiUr2V3hZ9D5urhrGVASpsFtc lvBA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACrzQf0kWUQ6C4yqZqoWfmbsFGkO3oGVdWRamm7IN0mqvB0yQbyNgZDm qfvBAnw9PUQpCqVeTPZGo40= X-Google-Smtp-Source: AMsMyM41fFTAEsgY3X8wa54MtJiwrt0P6Qx7JUJjVJB8pZGt/a0OplrefLncgw1c8/xKrqh50xZwBQ== X-Received: by 2002:a17:90b:3b47:b0:202:a81f:4059 with SMTP id ot7-20020a17090b3b4700b00202a81f4059mr15680091pjb.150.1663320511489; Fri, 16 Sep 2022 02:28:31 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6a00:4c8d:b0:536:9915:e9f8 with SMTP id eb13-20020a056a004c8d00b005369915e9f8ls11715438pfb.4.-pod-prod-gmail; Fri, 16 Sep 2022 02:28:30 -0700 (PDT) X-Received: by 2002:a62:7987:0:b0:542:ad8f:fd75 with SMTP id u129-20020a627987000000b00542ad8ffd75mr3920695pfc.74.1663320509926; Fri, 16 Sep 2022 02:28:29 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1663320509; cv=none; d=google.com; s=arc-20160816; b=zBhhczEak1sVnmaw8bHY6WDSXAXm1FKax1Hrvb1cyR131hhF9aEv92Xzv2hslWIrJh ZAECXLMcZHrG+DoAeRyPHeO5qcx+xCCBCo8aIN62PpkUiFvFArUB91rNkoi69uUQy61g 0ihzMYvoZ1OsHUEe4Kc2CRUpagFmTOLUOB0gt6tZRIZbjN0LmTnKXm67tMnd/ngyrw6v EUyfBDVu0KoeCKQCZzDt/zcaqdFxjJ2OhDqetiXuAjuYa3vJARTXjdbzu/QUuiLwRxD8 lAwVNzl3UMnalPGTtprt3hXUjdaR/8FDAWyhv9C9/Ftd0HEL9wEKtGsNelBCjDtyZ3Hd J/LQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=+Qn5dxOHpI2p5iv29HXEkCX/DNWnBLW1gIb/KBhpwJg=; b=TuuDTSOqqv2Di9sw1haGmlovPpRZ5+iO/gwPLs5AT3w4wlyMdoWyMRoHwBFdhw7xBq BcYPid4onPE+dxUKscPZHWVE8fKI3aAJHIfJxrBi/a6QpLyPoDiwLBr2WvrtwSbXIiU1 P1suFZ5dbZ83rGI5D4B53raCD7yfA8jVyiVIMbEn30d1PHy/nmyrM4T7ec9PlUF9wE0D DFl/AboKMGuL+ELzIrM6HKNhtKeP+vphB+YxqkIhnKQ842XT5ULK1fb/MkBZY8nAuvzu voYbC/XCVfOAmdC6C5hVsp37IHJQzvKt2bodwS3pP9YuOL8kA+V3EfmTVeTLBJwcXfd1 nUeA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=UQpxY3Bs; spf=pass (google.com: domain of anstenklev@gmail.com designates 2607:f8b0:4864:20::a2c as permitted sender) smtp.mailfrom=anstenklev@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-vk1-xa2c.google.com (mail-vk1-xa2c.google.com. [2607:f8b0:4864:20::a2c]) by gmr-mx.google.com with ESMTPS id p14-20020a170902e74e00b00176d0b3d584si532004plf.11.2022.09.16.02.28.29 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 16 Sep 2022 02:28:29 -0700 (PDT) Received-SPF: pass (google.com: domain of anstenklev@gmail.com designates 2607:f8b0:4864:20::a2c as permitted sender) client-ip=2607:f8b0:4864:20::a2c; Received: by mail-vk1-xa2c.google.com with SMTP id m11so10395372vkk.4 for ; Fri, 16 Sep 2022 02:28:29 -0700 (PDT) X-Received: by 2002:a05:6122:c89:b0:3a2:e49a:47da with SMTP id ba9-20020a0561220c8900b003a2e49a47damr1655250vkb.41.1663320509074; Fri, 16 Sep 2022 02:28:29 -0700 (PDT) MIME-Version: 1.0 From: =?UTF-8?Q?Ansten_M=C3=B8rch_Klev?= Date: Fri, 16 Sep 2022 11:28:03 +0200 Message-ID: Subject: =?UTF-8?Q?=5BHoTT=5D_Martin=2DL=C3=B6f_transcriptions?= To: types-list@lists.seas.upenn.edu, HomotopyTypeTheory@googlegroups.com Content-Type: multipart/alternative; boundary="00000000000017526b05e8c7fc53" X-Original-Sender: anstenklev@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=UQpxY3Bs; spf=pass (google.com: domain of anstenklev@gmail.com designates 2607:f8b0:4864:20::a2c as permitted sender) smtp.mailfrom=anstenklev@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , --00000000000017526b05e8c7fc53 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Readers of this list may be interested in the following webpage, which collects transcriptions of lectures given by Per Martin-L=C3=B6f between th= e autumn of 1993 and September 2019: https://pml.flu.cas.cz/ --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAJHZuqZoO-qkp6C0WddtuKDLkUTJk6JTr6zvDxLACrwhzMs1HQ%40ma= il.gmail.com. --00000000000017526b05e8c7fc53 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Readers of this list may be interested in the following webpage, which coll= ects transcriptions of lectures given by Per Martin-L=C3=B6f between the au= tumn of 1993 and September 2019:=C2=A0h= ttps://pml.flu.cas.cz/

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://gro= ups.google.com/d/msgid/HomotopyTypeTheory/CAJHZuqZoO-qkp6C0WddtuKDLkUTJk6JT= r6zvDxLACrwhzMs1HQ%40mail.gmail.com.
--00000000000017526b05e8c7fc53--