From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.13.243.194 with SMTP id c185mr743785ywf.36.1481895027001; Fri, 16 Dec 2016 05:30:27 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.157.43.24 with SMTP id o24ls8079828otb.41.gmail; Fri, 16 Dec 2016 05:30:26 -0800 (PST) X-Received: by 10.157.20.185 with SMTP id d54mr709252ote.51.1481895026503; Fri, 16 Dec 2016 05:30:26 -0800 (PST) Return-Path: Received: from pps3.ias.edu (pps3.ias.edu. [192.16.204.88]) by gmr-mx.google.com with ESMTPS id v77si448933ywa.7.2016.12.16.05.30.26 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 16 Dec 2016 05:30:26 -0800 (PST) Received-SPF: pass (google.com: domain of vlad...@ias.edu designates 192.16.204.88 as permitted sender) client-ip=192.16.204.88; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of vlad...@ias.edu designates 192.16.204.88 as permitted sender) smtp.mailfrom=vlad...@ias.edu; dmarc=pass (p=NONE dis=NONE) header.from=ias.edu Received: from pps.reinject (pps3.ias.edu [127.0.0.1]) by pps3.ias.edu (8.16.0.17/8.16.0.17) with ESMTPS id uBGDUPGx018591 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 16 Dec 2016 08:30:25 -0500 Received: from pps3.ias.edu (pps3.ias.edu [127.0.0.1]) by pps.reinject (8.16.0.16/8.16.0.16) with SMTP id uBGDUPTQ018585 for ; Fri, 16 Dec 2016 08:30:25 -0500 X-Proofpoint-Sentinel: stfsU2FsdGVkX19WUD2UefAaTvYzYBPh+fJ9Pg33LKXHippdZdSiV/VUa5fB b0e6nRTq0SUV3APmRC6IiIJOXxTMvEQwEx5aJwor/ImXs7toPiWXOkxkjoqh0yIZ0pAMc4sm Received: from imap.math.ias.edu (imap.math.ias.edu [172.16.41.5]) by pps3.ias.edu with ESMTP id uBGDUPus018584 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Fri, 16 Dec 2016 08:30:25 -0500 Received: from pool-96-248-86-80.cmdnnj.fios.verizon.net ([96.248.86.80] helo=vladimirs-mbp-2.home) by imap.math.ias.edu with esmtpsa (TLSv1.2:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.80.1) (envelope-from ) id 1cHsaf-00084T-NE; Fri, 16 Dec 2016 08:30:25 -0500 From: Vladimir Voevodsky Content-Type: multipart/alternative; boundary="Apple-Mail=_4DF9E919-F664-46C9-9B0F-096FA355468E" Mime-Version: 1.0 (Mac OS X Mail 10.1 \(3251\)) Subject: a new paper Message-Id: <789AE37B-FDA1-4ED0-9B66-E927AC01BACD@ias.edu> Date: Fri, 16 Dec 2016 08:30:25 -0500 Cc: "Prof. Vladimir Voevodsky" To: homotopytypetheory X-Mailer: Apple Mail (2.3251) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2016-12-16_09:,, signatures=0 X-Proofpoint-Spam-Reason: safe X-IAS-PPS-SPAM: NO X-Proofpoint-Spam-Details: rule=ias_safe policy=ias score=0 spamscore=0 suspectscore=0 malwarescore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=donotscan adjust=0 reason=safe scancount=1 engine=8.0.1-1612050000 definitions=main-1612160222 X-IAS-PPS-PHISH: NO --Apple-Mail=_4DF9E919-F664-46C9-9B0F-096FA355468E Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Hello, I have published a new paper http://www.tac.mta.ca/tac/volumes/31/36/31-36.pdf the first half of which contains many basic results about C-systems with de= tailed proofs. Vladimir. --Apple-Mail=_4DF9E919-F664-46C9-9B0F-096FA355468E Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=us-ascii Hello,

I have published a new paper


the first half of which contains many basic results about C-systems with detailed proofs.

Vladimir.

--Apple-Mail=_4DF9E919-F664-46C9-9B0F-096FA355468E--