Univalence <-> equivalence induction
2018-05-18 15:40 UTC (3+ messages)
` [HoTT] "
Summer Opportunities for Young Researcher
2018-05-16 14:41 UTC
Bishop's work on type theory
2018-05-10 6:35 UTC (16+ messages)
` [HoTT] "
` [HoTT] "
UF-IAS-2012 wiki archived
2018-05-07 11:28 UTC
Martin-Löf '86
2018-05-06 2:09 UTC (4+ messages)
` [HoTT] "
Eckmann-Hilton for triple loop space
2018-05-05 22:05 UTC
A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument)
2018-05-02 15:20 UTC (3+ messages)
` [HoTT] "
1st announcement, Vladimir Voevodsky Memorial Conference
2018-04-27 13:57 UTC
PhD Thesis
2018-04-26 21:03 UTC (2+ messages)
Univalence from scratch
2018-04-25 2:10 UTC (11+ messages)
` [HoTT] "
` [HoTT] "
Autumn school "Proof and Computation"
2018-04-23 8:58 UTC
Midwest HoTT Seminar, May 26-27, 2018, University of Western Ontario
2018-04-22 13:57 UTC
postdoc position available in semantics of dynamical systems
2018-04-12 15:05 UTC
Final Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)
2018-04-08 15:44 UTC
Federated Logic Conference student travel support
2018-03-15 17:30 UTC
Do (co)limits commute with (co)limits?
2018-03-14 19:18 UTC (2+ messages)
` [HoTT] "
LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Call for Papers
2018-03-09 16:03 UTC
Categories with 2-families
2018-03-08 10:11 UTC (9+ messages)
` [HoTT] "
Reminder: From the Fundamental Lemma to Discrete Geometry, to Formal Verification
2018-03-08 1:08 UTC
Extended deadline: Summer School on Types, Sets and Constructions, Bonn, Germany, 3-9 May 2018
2018-03-02 17:56 UTC
PhD-positions in mathematics at Stockholm University
2018-03-02 10:42 UTC
Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs
2018-03-01 20:14 UTC
Another variation on the topic of homotopy
2018-03-01 16:22 UTC
Two Papers on Lifting Problems and the Small Object Argument
2018-02-27 4:32 UTC (2+ messages)
Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)
2018-02-18 15:07 UTC
MacGillavry Fellowship
2018-02-16 16:07 UTC
A syntax for higher inductive-inductive types
2018-02-08 11:23 UTC
On Higher Inductive Types in Cubical Type Theory
2018-02-07 16:07 UTC
Homotopy Type Theory Electronic Seminar Talks
2018-02-07 14:33 UTC
Martin Hofmann found dead on Japanese mountain
2018-02-06 0:00 UTC
Martin Hofmann rescue fund
2018-01-31 18:35 UTC
How to define w types in agda?
2018-01-26 8:50 UTC (3+ messages)
` [HoTT] "
Postdoctoral Fellow in Mathematical Logic, Stockholm University
2018-01-25 17:09 UTC
Coquand's list of open problems
2018-01-25 10:23 UTC (5+ messages)
` [HoTT] "
Internal Universes in Models of Homotopy Type Theory
2018-01-24 13:10 UTC
Second call for bids to host ITP 2019
2018-01-18 23:25 UTC
HoTT/UF in MSC2020
2018-01-11 10:35 UTC (3+ messages)
` [HoTT] "
Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)
2018-01-10 16:14 UTC
fully funded graduate positions in Math at UWO
2018-01-10 1:48 UTC
Domains XIII workshop call for abstracts
2018-01-08 18:17 UTC
computational higher type theory iv
2018-01-08 15:11 UTC
Does "adding a path" preserve truncation levels?
2018-01-05 17:40 UTC (6+ messages)
` [HoTT] "
HoTT in Lean 3
2017-12-27 18:13 UTC (3+ messages)
` [HoTT] "
Impredicative set + function extensionality + proof irrelevance consistent?
2017-12-23 0:25 UTC (54+ messages)
` [HoTT] "
Yet another characterization of univalence
2017-12-20 20:46 UTC (16+ messages)
` [HoTT] "
Postdoc in Logic and Formal Methods at Carnegie Mellon
2017-12-16 17:54 UTC
computational higher type theory iii and cartesian cubical formal type theory
2017-12-06 1:54 UTC
postdoctoral positions at the University of Western Ontario
2017-11-27 2:04 UTC
PhD positions at CMU
2017-11-20 3:12 UTC
PhD positions available in Birmingham, UK
2017-11-19 20:17 UTC
Conference in honor of Thomas C. Hales: "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", June 18-22, 2018 at the University of Pittsburgh
2017-11-17 18:50 UTC
AMS Special Session on Homotopy Type Theory at the JMM
2017-11-13 21:40 UTC
Voevodsky obituary in Nature
2017-11-07 23:11 UTC (4+ messages)
` [HoTT] "
Define transport as the primitive operation of cubicaltt and derive composition from it?
2017-11-05 15:09 UTC (2+ messages)
Canonical forms for initiality
2017-10-30 9:52 UTC (8+ messages)
` [HoTT] "
` [HoTT] "
Definition of semantic composition in CCHM cubical type theory
2017-10-24 12:40 UTC (2+ messages)
` [HoTT] "
Voevodsky's unpublished works
2017-10-20 23:55 UTC
Questions regarding univalence as generalized extensionality
2017-10-18 22:58 UTC
The Interval type in Hott vs. in real analysis
2017-10-17 20:40 UTC (2+ messages)
` [HoTT] "
A small observation on cumulativity and the failure of initiality
2017-10-16 16:37 UTC (20+ messages)
` [HoTT] "
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).