mrRachar
commented
4 years ago - Added operational semantics for constructors, and updated associated proof
- Fixed some definitions in model, including for space restriction
- Added more lemmas for space and time on reduction
- Updates to paper following discussion and fixes, and including rewrite of time/space