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: |