johnmcfarlane/papers

Semantic requirements

Closed this issue · 0 comments

Determine the semantic requirements of Rep types.