Edinburgh Research Explorer

Prof Rodney Burstall

(Former employee or visitor)

Research outputs

  1. Deliverables: A Categorial Approach to Program Development in Type Theory

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

  2. HOPE: An Experimental Applicative Language

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

  3. Artificial Intelligence: An introductory course

    Research output: Book/ReportBook

View all (3) »

ID: 6157855