APA (7th ed.) Citation

Altenkirch, T., & Kaposi, A. (2017). Towards a cubical type theory without an interval. Dagstuhl Publishing.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten, and Ambrus Kaposi. Towards a Cubical Type Theory Without an Interval. Dagstuhl Publishing, 2017.

MLA (9th ed.) Citation

Altenkirch, Thorsten, and Ambrus Kaposi. Towards a Cubical Type Theory Without an Interval. Dagstuhl Publishing, 2017.

Warning: These citations may not always be 100% accurate.