From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ot1-x33c.google.com (mail-ot1-x33c.google.com [IPv6:2607:f8b0:4864:20::33c]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 5ebe54be for ; Mon, 12 Nov 2018 12:30:52 +0000 (UTC) Received: by mail-ot1-x33c.google.com with SMTP id g28sf6594517otd.19 for ; Mon, 12 Nov 2018 04:30:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=pLBpqbbIWSxQNvk29WcZFhKAQVuYu5uZVgFM0p0IAgA=; b=PBD6CI8UEX2qvUktP/Y//JLmvH3HDyU5pXkO2zOTU0VRNzoUwkzVBr8AlkX+1TDLZ2 mjZXINDXw1dUGAGdA3uivj/D6GCdNIGp3I5Q7rbWFjXw3u3DJ6u5vKw9bSMzoPz7kKf2 iP2YQugoFYP4qYYOJeltP8W6uSMRptYZnSeUsyFkyNGNjdU0a8U+ybR90Shld2SyB53u k4ujCTvSu4k0DsZASHZceYQN8yyiusLRtDjOV6KOmB6PoSrZFcBIyWid8C4zoUZUUp+C GmXWNANoieBhcrTiX3ulLNu62g0bZefEPVTK/dyTUytAuJPXmgOSdrdBuMezpULv+rpZ JoaQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=pLBpqbbIWSxQNvk29WcZFhKAQVuYu5uZVgFM0p0IAgA=; b=QAAFSAeQlmWSGiSFDf0RTd6LtJv3D2B2r4cWF4N4aTIVshnXwKcYJuyr/Uuc0BLX1V 1E6T6pdS0vjpRIkNM80Rt1Iu6kW+bjwii+OORZd6eq3hqftkRDp3u0RDKK+E5OjXjOL1 vvDBYzULjsBBVfUBDBhzho+149Jo8EpGs/sAmbKdbLLcbNmhfFoCZPPzZvEFPMcK0832 Jdd0/B70HcKlSKarjKUvAycnW7hRcYRNTg/ZZFrtjpbS7OBks8HiTUVa4L6Ox2cICTuH 6PR6kRrNeG3i5YKWcs61mQHR62swLDFEXfHnfD0gNzcT3wPndrt4i7V2rAWHUE3EB2A+ nVEw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=pLBpqbbIWSxQNvk29WcZFhKAQVuYu5uZVgFM0p0IAgA=; b=WMnMgBzC936SXLgSgdk2dqIQ/SsCPDAhrA+J9jJsyFcAD1bEczfhnIXwsP09Q/rLtG jRBh16/lwXEulRhvCcey6aTIYjABGqR+R01SxTjPsDfQIZkugKdniXIpKPimSBd1Yl7f rBk7MbIW54GLpPx2iUymNiHKEbSn80OpsOij6a+HgyPMhxCBa6oN0vZwYxtc3kJigYO/ 2Y2G/8dfzB298o5H+PurjbDHbD12so6l2/mp8FwucPTvzCAo5Upgy45lo23I/u+wRdx/ auDGI9z4J0okZg73sGTpKLnYOqvWu+ANjkUPjSwH4++cQxVmZggc5rVk0VNpEomHzouP 05sw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AGRZ1gKjNxd3LWlT8otA6SsucAOV8J9yK/yBA3oYmDXZE909qxMDiPRm 9MBK6FM2MHvRpjeTf+v+qgE= X-Google-Smtp-Source: AJdET5cVN0MzTOoQlubKiRSFCNGY72OMucUOP+rIDU/+IqFGq6v6AuM84VqemVf0tZ274Fsevj0TWw== X-Received: by 2002:a9d:24c3:: with SMTP id z61mr24299ota.1.1542025850988; Mon, 12 Nov 2018 04:30:50 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:c49:: with SMTP id 67ls4194366otr.4.gmail; Mon, 12 Nov 2018 04:30:50 -0800 (PST) X-Received: by 2002:a9d:24c3:: with SMTP id z61mr24298ota.1.1542025850522; Mon, 12 Nov 2018 04:30:50 -0800 (PST) Date: Mon, 12 Nov 2018 04:30:49 -0800 (PST) From: Ali Caglayan To: Homotopy Type Theory Message-Id: <23a22f38-c934-4ac9-8628-a45b46994056@googlegroups.com> In-Reply-To: References: <1128BE39-BBC4-4DC6-8792-20134A6CAECD@chalmers.se> <292DED31-6CB3-49A1-9128-5AFD04B9C2F2@cmu.edu> Subject: Re: [HoTT] Semantics of higher inductive types MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1814_1673466047.1542025849911" X-Original-Sender: alizter@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: , ------=_Part_1814_1673466047.1542025849911 Content-Type: multipart/alternative; boundary="----=_Part_1815_68532707.1542025849911" ------=_Part_1815_68532707.1542025849911 Content-Type: text/plain; charset="UTF-8" https://arxiv.org/abs/1705.07088 On Thursday, 8 June 2017 05:57:17 UTC+1, CARLOS MANUEL MANZUETA wrote: > > Where I could find the L-S paper -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout. ------=_Part_1815_68532707.1542025849911 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
https://arxiv.org/abs/1705.07088

On Thursday, 8 Jun= e 2017 05:57:17 UTC+1, CARLOS MANUEL MANZUETA wrote:
Where I could find the L-S paper

--
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.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_1815_68532707.1542025849911-- ------=_Part_1814_1673466047.1542025849911--