Abstract

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.

Advisor

Fox, Nathan

Department

Computer Science

Disciplines

Theory and Algorithms

Keywords

homotopy, type theory, computation, theory

Publication Date

2019

Degree Granted

Bachelor of Arts

Document Type

Senior Independent Study Thesis

Share

COinS
 

© Copyright 2019 Phillip A. Wells