Skip to main content

Research Repository

Advanced Search

All Outputs (2)

Setoid Type Theory—A Syntactic Translation (2019)
Conference Proceeding
Altenkirch, T., Boulier, S., Kaposi, A., & Tabereau, N. (2019). Setoid Type Theory—A Syntactic Translation. In Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings (155-196). https://doi.org/10.1007/978-3-030-33636-3_7

We introduce setoid type theory, an intensional type theory with a proof-irrelevant universe of propositions and an equality type satisfying functional extensionality and propositional extensionality. We justify the rules of setoid type theory by a s... Read More about Setoid Type Theory—A Syntactic Translation.

The Living Room of the Future (2019)
Conference Proceeding
Sailaja, N., Colley, J., Crabtree, A., Gradinar, A., Coulton, P., Forrester, I., …Stenton, P. (2019). The Living Room of the Future. In TVX '19: Proceedings of the 2019 ACM International Conference on Interactive Experiences for TV and Online Video (95-107). https://doi.org/10.1145/3317697.3323360

Emergent media services are turning towards the use of audience data to deliver more personalised and immersive experiences. We present the Living Room of The Future (LRoTF), an embodied design fiction built to both showcase future adaptive physicall... Read More about The Living Room of the Future.