From mboxrd@z Thu Jan  1 00:00:00 1970
X-Received: by 10.99.102.133 with SMTP id a127mr7152577pgc.75.1524769030862;
        Thu, 26 Apr 2018 11:57:10 -0700 (PDT)
X-BeenThere: homotopytypetheory@googlegroups.com
Received: by 10.99.127.13 with SMTP id a13ls134173pgd.12.gmail; Thu, 26 Apr
 2018 11:57:09 -0700 (PDT)
X-Received: by 10.98.172.15 with SMTP id v15mr1735791pfe.22.1524769029677;
        Thu, 26 Apr 2018 11:57:09 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1524769029; cv=none;
        d=google.com; s=arc-20160816;
        b=wIlNyPeOo1LkV2FvgNqRxQuPT4GTjmkaBWzr+zo/yBRF/FELPkic2aCWO9NOSufG8h
         T/f0dt4JMVa1YDF//fIZwovHNYL1zMgjKXiBfbIPQmBro2M4ArsMcm/Xu9IPLVyiXMO0
         NI20hRHV89vFaqicaL7FCLm2HrC49dcwkpZl8Z13G3TrqkJlUvnvDpaGIfHHlQQUHrc0
         NOGGvC2DbdPbX9QP9eRifUVb0sIuDaDdaXNFk2Q26g0VY7UTcu/+Cckb4EIYvrpDo2a3
         a2txffEbQmlwddPer37wQ1t3YSrX5INfexUdmpdld5LTTffUp5M8HkG3OzN34fSxOz8o
         Sy4A==
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
         :arc-authentication-results;
        bh=pmubCvyTx17L4ziybWhbq6JD3GRdXTvtUmjH7ABEa6w=;
        b=WyAZjYkhT1pCXPNsyZH5b3oekeV0JuQ3jACm89Mz7adz4LBk3J/xG4quMhuzbCwm/2
         pz1afVuhzZ4zc4CDm+sZRWFTzfPNtFXWaFtE71TX1+lalBo+clxGap6omB93a76YptnO
         +3VrFDIvT7P/lOjMvRb86R12FCUlyDVJhE94SEOvEXc8Mnt/9+BPtLZFQX9xUMDsUs8E
         38M0A6luv4MO2CNUnvgYLuDCFqORNkn1nDxaSZvXNBYaEDPSt4p0rxSOCM7KjHMJH6SX
         t+FjQtPi+DNilonav6xNnsFb1tEiAAIFjgJQAeLUu9+UxpjFDLkbRa0FQJdE8q/LD3XM
         vUKA==
ARC-Authentication-Results: i=1; gmr-mx.google.com;
       dkim=pass head...@gmail.com header.s=20161025 header.b=CUbE6z/J;
       spf=pass (google.com: domain of zwanz...@gmail.com designates 2607:f8b0:4003:c0f::22e as permitted sender) smtp.mailfrom=zwanz...@gmail.com;
       dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com
Return-Path: <zwanz...@gmail.com>
Received: from mail-ot0-x22e.google.com (mail-ot0-x22e.google.com. [2607:f8b0:4003:c0f::22e])
        by gmr-mx.google.com with ESMTPS id 204si1221891pga.0.2018.04.26.11.57.09
        for <HomotopyT...@googlegroups.com>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Thu, 26 Apr 2018 11:57:09 -0700 (PDT)
Received-SPF: pass (google.com: domain of zwanz...@gmail.com designates 2607:f8b0:4003:c0f::22e as permitted sender) client-ip=2607:f8b0:4003:c0f::22e;
Authentication-Results: gmr-mx.google.com;
       dkim=pass head...@gmail.com header.s=20161025 header.b=CUbE6z/J;
       spf=pass (google.com: domain of zwanz...@gmail.com designates 2607:f8b0:4003:c0f::22e as permitted sender) smtp.mailfrom=zwanz...@gmail.com;
       dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com
Received: by mail-ot0-x22e.google.com with SMTP id t1-v6so11291618ott.13
        for <HomotopyT...@googlegroups.com>; Thu, 26 Apr 2018 11:57:09 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=mime-version:from:date:message-id:subject:to;
        bh=pmubCvyTx17L4ziybWhbq6JD3GRdXTvtUmjH7ABEa6w=;
        b=CUbE6z/J39BY/zcFcSZAB9twsLvJjamEMD1+cexa/jgIcHWoFKCUl6nP5d40GSZNUs
         BKmIbLO/K4fL1B83zhSoVDc30pLwiLjvCq4Y0PR8BnINEqTxeIQSLm/aY2NSJjpF1oN8
         cqR6hooinqsEdoKCsOECd/QQWPUcVizaP24SywX5nuCVU36/1q1L5+/7hl2MX+AJtFc2
         fjqDdcKSytvPAX2fDfm1t6cNUCi55wX+Za3JnnaTsayGs3ATvQZCs+Y0PeAEL7lc9Zd/
         OT2hfiD9qeGqsCfVBEAalltGWGJpRwXyvK+qDRe2rHFgoQVoLk9c6rodIvNLE8f8D1vV
         H/7A==
X-Gm-Message-State: ALQs6tBs2yBl4rBm8J3mUVHztAH/kC9mUztY440EeBkxEkOUw4iARR4f
	oW3yoStpgb4Kb4rku1jpmMj0xVRebeQ3vEoX07FQnA==
X-Received: by 2002:a9d:1f49:: with SMTP id x9-v6mr9978284otx.300.1524769029226;
 Thu, 26 Apr 2018 11:57:09 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:a9d:36e3:0:0:0:0:0 with HTTP; Thu, 26 Apr 2018 11:56:38
 -0700 (PDT)
From: Colin Zwanziger <zwanz...@gmail.com>
Date: Thu, 26 Apr 2018 14:56:38 -0400
Message-ID: <CAAhSxopAxE-zEiB5e=-JR7u05OVop4aNirt4C8DNGVUYbLhw7w@mail.gmail.com>
Subject: =?UTF-8?B?TWFydGluLUzDtmYgJzg2?=
To: HomotopyTypeTheory@googlegroups.com
Content-Type: multipart/alternative; boundary="0000000000005a075d056ac4f44f"

--0000000000005a075d056ac4f44f
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Dear all,

Does anyone happen to have a copy of the work

Martin-L=C3=B6f, P. (1986). Amendment to intuitionistic type theory. *Notes=
 from
a lecture given in G=C3=B6teborg*.

that they could share? Or advice on how to obtain a copy?

Best regards,

Colin Zwanziger

--0000000000005a075d056ac4f44f
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><div><div><div>Dear all,<br><br></div>Does anyone hap=
pen to have a copy of the work<br><br>Martin-L=C3=B6f, P. (1986). Amendment=
 to intuitionistic type theory. <i>Notes from a lecture given in G=C3=B6teb=
org</i>.<br><br></div>that they could share? Or advice on how to obtain a c=
opy?<br><br></div>Best regards,<br><br></div>Colin Zwanziger<br></div>

--0000000000005a075d056ac4f44f--