Edinburgh Research Explorer

Dr. Ian Stark

Senior Lecturer

Profile photo

Academic Qualifications

1995Doctor of Philosophy, PhD, University of Cambridge
Names and Higher-Order Functions

Willingness to take Ph.D. students: Yes

Highlighted research outputs

  1. The Continuous π-Calculus: A Process Algebra for Biochemical Modelling

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Free-algebra models for the π-calculus

    Research output: Contribution to journalArticle

  3. Nominal games and full abstraction for the nu-calculus

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Reducibility and TT-lifting for computation types

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (23) »

ID: 22772