Ohad Kammar – Projects — University of Edinburgh Research Explorer

View Scopus Profile

If you made any changes in Pure these will be visible here soon.

1 Finished
1 Active

1 results

Filter

Finished

Effectful theories of programming languages: axiomatics
Kammar, O.
Other (Learned Society)
1/10/18 → 31/03/21
Project: Research