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)

4 Citations (Scopus)

189 Downloads (Pure)

1 results
- Last Name(descending)

Dr Alex Kavvos
- alex.kavvosbristol.acuk
- Department of Computer Science - Lecturer
Person: Academic