From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Wed, 7 Jun 2017 21:57:17 -0700 (PDT)
From: CARLOS MANUEL MANZUETA <carlosm...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Message-Id: <e958a983-0595-4aad-b6b9-26a9d0dea8cd@googlegroups.com>
In-Reply-To: <292DED31-6CB3-49A1-9128-5AFD04B9C2F2@cmu.edu>
References: <CAOvivQwZFp_uopf53SGstTgbojnQ67i-bR70j5q8E5JTUGubDg@mail.gmail.com> <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_158_1846006778.1496897837428"

------=_Part_158_1846006778.1496897837428
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

Where I could find the L-S paper
------=_Part_158_1846006778.1496897837428--