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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 21712 invoked from network); 11 Oct 2022 13:03:00 -0000 Received: from mail-oo1-xc39.google.com (2607:f8b0:4864:20::c39) by inbox.vuxu.org with ESMTPUTF8; 11 Oct 2022 13:03:00 -0000 Received: by mail-oo1-xc39.google.com with SMTP id y27-20020a4aea3b000000b0047f7625fa5dsf7698122ood.9 for ; Tue, 11 Oct 2022 06:02:59 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1665493378; cv=pass; d=google.com; s=arc-20160816; b=lzKITQRPWUJVMHOqcVm3QAY8an3pKD9I+EcGaJ0MPX63GaG5xQ0Jc+iMgm5k2KxSHd ujlIAiI8okb8+qmU5FUSVv3NH+DVq7zZQRG0g8d9Q3JrSWXZBCXdyIez/CDNO7kp95EL SvGhITsFB0ZcvrXIXsYEXJiPRnJKGzOBz+aD/OzWfZnI4AbpVxkpLTyFEfz/HfXdkGc0 +HdA9Ppc05k+vwCVqsdmnKk2VG9BgpdMuhz88raMNHPD/fuxnOu24S790wxahfULFq1V 6m4GXAmlRQLp0uyhl2OEGw8CR+a4YLjvpBfF7zYrUjBVL/nSwzlgn43lJPnGcfRy0Eqi J0VQ== 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:message-id:to:cc:subject:date :mime-version:from:sender:dkim-signature; bh=gDmPKJ1ycSY/S68fAWkihNUuC1znJy3IQyLVpneHe7s=; b=gMLuettnmEsD4GJFtuhyHNkZ7EFOXY9zFZVvK+FKO3G0O9W602yVWSDSJybWyEq4tc YnQt8Y2AuBgUbKm23i0zxf7Le65T/2PLbMMUT/EImFvnVXnzR06/wfQkx0t4RDDrbI+c +BIcjR+/6FenRkfIJMmlevn19KQ4QfA/+JTi3MoC2goG+vPSodf5COwGrKHExqxveT8z PDU1iBpWg4ZIyz4Vlv0RoM85ej22EmQXSpw4CTgMetU6UOzUAL1s5jGNHr+4coibe0dP 9n1qtemdNESRC1/BkbrEZnlD/nJvs+ba4GTTwQptBrxcl0TzxOLVDVeh5f1P9Iv9/r8F V2Tw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=dEiMj044; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::735 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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:message-id:to:cc:subject:date:mime-version:from :sender:from:to:cc:subject:date:message-id:reply-to; bh=gDmPKJ1ycSY/S68fAWkihNUuC1znJy3IQyLVpneHe7s=; b=D3jj7/x1a4l79HI47L8JvBs5ODLAKV7+f6a8AjshG9HNIowz1M/SmyijNI1cHJ123E MYjInr5yh9ewDVNM2nI0x/a5eJtYRrSA/eqNxzQbUpB+Qr3wA0GUUKocfxvGM/3ccVpw ZaUX7PAIlwWolnh/OHqchOeuC/Ggmhf/RLRwrMjbtxSu7cuYnPnL5lSxJhz4uYu0Q5pL OHA/LKzn7tD0iSryQ0YV+CRnZf9OSg0bXvdfbeJ82a7kNw2zKnfeBAKr27D2nQGO2GFE se/F2GxZxM7OdOnpqpfXgDHelYUkz+kquZ3bRTvYkuSmjGFWS35/gIKqSOpFsk1TflJp YZLA== 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:message-id:to :cc:subject:date:mime-version:from:x-gm-message-state:sender:from:to :cc:subject:date:message-id:reply-to; bh=gDmPKJ1ycSY/S68fAWkihNUuC1znJy3IQyLVpneHe7s=; b=7OmaaGe6E2bcLtctmZNBWAr7cMlFpOTNvHFt9Sv+NnahFQ26IwPYGz7iUIlQuh7iwa qdp568jf05QVibAFmqvs9y73O90ICc7C9UarptUUbG9ng7sBz2Az9W1uB6tZ1qynbQd8 j/FR4E31c3nhvlMJUET6jXTrLOxgiD5Ry3rD5uSZ22n+rL5/6tFEg5E6vX5BYklPU1Ei sZrRyoH0ku1S88WOO25xXZd6+qI2H7ZKA3nbTiL3apzrFDew+M2G3bBjYdCK7RxpWR8K sDy/D29bSPewgtrsecN5SEN2iFiNWNMNIr2AEJAHvZtP6+teLaZlj90o9mMoWGJ4At7S 8oOw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACrzQf3yhYrHkbMUkblHDwvwHhUoZiV2PLsxGPBTX7CbeIKsjCDIsRLJ hN2x7vFMuBI0I39/RoZtjUY= X-Google-Smtp-Source: AMsMyM4ilviqR9dL/OpL27d2byb6rWsIFmNYpJXYMYI0ChWEIaqp+ACGLRx4aITWppfRxh+6CnSudA== X-Received: by 2002:a17:90b:4ac1:b0:20a:de32:3650 with SMTP id mh1-20020a17090b4ac100b0020ade323650mr36837111pjb.142.1665493367540; Tue, 11 Oct 2022 06:02:47 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:902:c153:b0:16d:6f9a:131a with SMTP id 19-20020a170902c15300b0016d6f9a131als1618197plj.5.-pod-prod-gmail; Tue, 11 Oct 2022 06:02:46 -0700 (PDT) X-Received: by 2002:a17:90a:fe92:b0:20a:daaf:75ea with SMTP id co18-20020a17090afe9200b0020adaaf75eamr36817226pjb.221.1665493365211; Tue, 11 Oct 2022 06:02:45 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1665493365; cv=none; d=google.com; s=arc-20160816; b=K457+iy5dObB8SJqjyPqhoTpreOSj7lT+EQUMApDxoyGXM5h0RbcXn9EaDtr4SQU01 dlikV6OUb9iFq0qoY6Uab3osWjzOiQii9afl5uch2NQCdFoZzPnL2PRWAnPGn1GPHdV2 lU+HXJH+aziAFAohuLDa8N9uvM1la1GdtjSWckk3L38WuTX6olxT23sGttHvpmAQI+6f xqv8Uc6W7yqGr6QbXsME68NXQWNfdxksoyZzZVMzRX08Jo/KetdYy8xlrg35UySF4IbG 2FP5Mnl2dEBUT2irzhXxmo4YvvpxAo647+XgzQJXahKUiBFIxhageoi5UMtdZBGwEwcd HtxQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=message-id:to:cc:subject:date:mime-version:from:dkim-signature; bh=N6mpaXSD/gOnkotCr12EZYgBQ+bxgKj1/jZx8dyRG7w=; b=upM17cjv/lD5LUslu/yPeIzK8H7VOqmHeG2prQ9kt0lBbWXbsf/j+ZAAxwHmMFjGTZ FDUWrg4nl4CHe/cXQ9gUbRVO9j/0ULqEzDfOJjNoZ+GU7UxpE7Gr7Xhl0yLMRI1rJcqN XAn5zeorzb+3qz9wfg40caSyWk+74nTBoU8EHnC3MuRkiBv5/ckuTl3aNyuZYNAvDrnc 0QbVdSdlsGSksS7dY/URRYZFhOMIbAAuoax1r5iLj69RWSQ9UYxdjHyD3mpUrtdJt9aL QC/lEr4JygnwbfIbyitncpTmFDZz+/TQ+DvNz+ARvEF0L2ZFdZJskgWTlVeqVQiQqkWy JNmA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=dEiMj044; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::735 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qk1-x735.google.com (mail-qk1-x735.google.com. [2607:f8b0:4864:20::735]) by gmr-mx.google.com with ESMTPS id n27-20020aa7985b000000b00560eeb33bbasi397905pfq.6.2022.10.11.06.02.45 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 11 Oct 2022 06:02:45 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::735 as permitted sender) client-ip=2607:f8b0:4864:20::735; Received: by mail-qk1-x735.google.com with SMTP id f27so757351qkh.12 for ; Tue, 11 Oct 2022 06:02:45 -0700 (PDT) X-Received: by 2002:a05:620a:4414:b0:6ee:76e4:1b6d with SMTP id v20-20020a05620a441400b006ee76e41b6dmr2931975qkp.360.1665493364251; Tue, 11 Oct 2022 06:02:44 -0700 (PDT) Received: from smtpclient.apple (pool-72-77-38-24.pitbpa.fios.verizon.net. [72.77.38.24]) by smtp.gmail.com with ESMTPSA id m5-20020a05620a290500b006ea7f9d8644sm3323043qkp.96.2022.10.11.06.02.43 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 11 Oct 2022 06:02:43 -0700 (PDT) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_853B304C-29D1-4D39-B16B-FF5786A85F8E" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\)) Date: Tue, 11 Oct 2022 09:02:42 -0400 Subject: [HoTT] Selected Papers of Dana S. Scott Cc: Dana Scott , Klaus Sutner , Michael Fourman , Andrej Bauer , Lars Birkedal , Martin Hyland , Peter Johnstone To: categories net , constructivenews@googlegroups.com, Homotopy Type Theory , PalColl <+dist+/afs/andrew.cmu.edu/usr18/awodey/dl/palcoll.dl@andrew.cmu.edu>, CMUHoTT , Philosophy Department Mailing List , "types-announce@lists.seas.upenn.edu" Message-Id: <970614B8-4D3F-4834-9AC6-8428D9C7CDEE@cmu.edu> X-Mailer: Apple Mail (2.3696.120.41.1.1) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=dEiMj044; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::735 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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: , --Apple-Mail=_853B304C-29D1-4D39-B16B-FF5786A85F8E Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" In honor of Dana Scott=E2=80=99s 90th birthday,=20 a Git repository containing pdf scans of=20 a selection of his papers has been established. These are available for public download here: https://github.com/CMU-HoTT/scott Additions and corrections by pull request are welcome. Happy Birthday Dana! Steve Awodey --=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/970614B8-4D3F-4834-9AC6-8428D9C7CDEE%40cmu.edu. --Apple-Mail=_853B304C-29D1-4D39-B16B-FF5786A85F8E Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8" In honor of Dana Scott=E2= =80=99s 90th birthday, 
a Git repository containing&nbs= p;pdf scans of 
a selection of his papers ha= s been established.
These are available for public dow= nload here:

https://gith= ub.com/CMU-HoTT/scott

Additions and corrections by pull request are welcome.
=

Happy Birthday Dana!

Steve Awodey
=

--
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://groups.google.com/d/msgid= /HomotopyTypeTheory/970614B8-4D3F-4834-9AC6-8428D9C7CDEE%40cmu.edu.
--Apple-Mail=_853B304C-29D1-4D39-B16B-FF5786A85F8E--