A relationally parametric model of dependent type theory

Robert Atkey, Neil Ghani, Patricia Johann

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

29 Citations (Scopus)

15 Downloads (Pure)

2 results
- Last Name(descending)

Bob Atkey
- robert.atkeystrath.acuk
- Computer And Information Sciences - Senior Lecturer
- Mathematically Structured Programming
Person: Academic
Neil Ghani
- neil.ghanistrath.acuk
- Computer And Information Sciences - Professor
- SICSA
- Mathematically Structured Programming
Person: Academic