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

# formal semantics

## denotational semantics