FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval

Author: Hugo Herbelin

Paper Information

Title:The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval
Authors:Hugo Herbelin
Proceedings:HoTT/UF Abstracts
Editors: Benedikt Ahrens, Simon Huber and Anders Mörtberg
Keywords:cubical sets, equality by abstraction over an interval, cubical type theory
Abstract:

ABSTRACT.

Pages:2
Talk:Jul 08 14:30 (Session 40H)
Paper: