External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Multimodal Dependent Type Theory

Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal. Multimodal Dependent Type Theory. Logical Methods in Computer Science, 17(3), 2021. [doi]

Authors

Daniel Gratzer

This author has not been identified. Look up 'Daniel Gratzer' in Google

G. A. Kavvos

This author has not been identified. Look up 'G. A. Kavvos' in Google

Andreas Nuyts

This author has not been identified. Look up 'Andreas Nuyts' in Google

Lars Birkedal

This author has not been identified. Look up 'Lars Birkedal' in Google
runs on