Multimodal Dependent Type Theory

Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

94 Downloads (Pure)

1 results
- Last Name(descending)

Dr Alex Kavvos
- alex.kavvos@bristol.ac.uk
- Department of Computer Science - Lecturer
Person: Academic