Axiomatic Semantics
ElectronicIDMMinimalAmbient
3Have
3Want
6Tracks
Tracklist
6 tracks-
01
2:47Fully Static Environment
-
02
2:50Private Declaration
-
03
3:00Existential Quantifier
-
04
3:22Entry Barrier
-
05
2:38Referencial Transparency
-
06
2:58Metacircular Interpreter