A computational effect is any mutation of real-world state that occurs as the result of a computation. We develop a model for describing computational effects within homotopy type theory, a branch of mathematics separate from other foundations such as set theory. Such a model allows us to describe programs as total functions over values while preserving information about the effects those programs induce.
Wells, Phillip A., "A HoTT Approach to Computational Effects" (2019). Senior Independent Study Theses. Paper 8566.
Theory and Algorithms
homotopy, type theory, computation, theory
Bachelor of Arts
Senior Independent Study Thesis Exemplar
© Copyright 2019 Phillip A. Wells