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.

Models for Polymorphism over Physical Dimension

Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton. Models for Polymorphism over Physical Dimension. In Thorsten Altenkirch, editor, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland. Volume 38 of LIPIcs, pages 45-59, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Authors

Robert Atkey

This author has not been identified. Look up 'Robert Atkey' in Google

Neil Ghani

This author has not been identified. It may be one of the following persons: Look up 'Neil Ghani' in Google

Fredrik Nordvall Forsberg

This author has not been identified. Look up 'Fredrik Nordvall Forsberg' in Google

Timothy Revell

This author has not been identified. Look up 'Timothy Revell' in Google

Sam Staton

This author has not been identified. Look up 'Sam Staton' in Google
runs on