FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Towards the syntax and semantics of higher dimensional type theory

Author: Thorsten Altenkirch

PapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:Towards the syntax and semantics of higher dimensional type theory
Authors:Thorsten Altenkirch
Proceedings:HoTT/UF Abstracts
Editors: Benedikt Ahrens, Simon Huber and Anders Mörtberg
Keywords:categories with families, higher categories, syntax of type theory, coherence
Abstract:

ABSTRACT.

Pages:3
Talk:Jul 08 16:30 (Session 42G)
Paper: