Reduction in a linear lambda-calculus with applications to operational semantics

Alexander Simpson

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

Search results