search

jprider63 / vrdt

5 stars 0 forks source link

Implement denotational semantics #16

Open jprider63 opened 4 years ago

jprider63 commented 4 years ago

Define and implement the denotational semantics for the VRDTs.