Reasoning with names and identity in programming languages

Project Details

StatusFinished
Effective start/end date27/03/0126/10/04

Funding

  • EPSRC: £63,525.00