Skip to content
An overview of operational, denotational and axiomatic styles of se-mantics
TeX Nix Makefile
Branch: master
Clone or download
This branch is 9 commits ahead of snitramodranoel:master.

Latest commit

Fetching latest commit…
Cannot retrieve the latest commit at this time.

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
graphics
.gitignore
CONTRIBUTING.md
LICENSE.md
Makefile
README.md
default.nix
handout.pdf
handout.tex
notes.tex
proof.sty
references.bib
slides.pdf
slides.tex

README.md

Semantics Overview

This repo contains an overview of operational, denotational and axiomatic semantics, originally presented on 28th January, 2020, at the TenMinute Tech-Net of EMEA Engineering, Goldman Sachs.

Slides are included for presenting, handout for comprehension.


Attribution

This style of slides & handout is based on a template by Leonardo Martins. I've updated the Makefile and added NixOS support for my use case.

You can’t perform that action at this time.