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.

Index-Stratified Types

Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau. Index-Stratified Types. In Hélène Kirchner, editor, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK. Volume 108 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Rohan Jacob-Rao

This author has not been identified. Look up 'Rohan Jacob-Rao' in Google

Brigitte Pientka

This author has not been identified. Look up 'Brigitte Pientka' in Google

David Thibodeau

This author has not been identified. Look up 'David Thibodeau' in Google
runs on