---
layout: computation
title: computation/semantics
---

# formal semantics

## denotational semantics