External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Syntax and models of Cartesian cubical type theory

Carlo Angiuli, Guillaume Brunerie, Thierry Coquand, Robert Harper, Kuen-Bang Hou (Favonia), Daniel R. Licata. Syntax and models of Cartesian cubical type theory. Mathematical Structures in Computer Science, 31(4):424-468, 2021. [doi]

Authors

Carlo Angiuli

This author has not been identified. Look up 'Carlo Angiuli' in Google

Guillaume Brunerie

This author has not been identified. Look up 'Guillaume Brunerie' in Google

Thierry Coquand

This author has not been identified. Look up 'Thierry Coquand' in Google

Robert Harper

Identified as Robert Harper
(Carnegie Mellon University
)

Kuen-Bang Hou (Favonia)

This author has not been identified. Look up 'Kuen-Bang Hou (Favonia)' in Google

Daniel R. Licata

This author has not been identified. Look up 'Daniel R. Licata' in Google
runs on