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.

Intersection Types for the Computational lambda-Calculus

Ugo de'Liguoro, Riccardo Treglia. Intersection Types for the Computational lambda-Calculus. In Alessandra Cherubini, Nicoletta Sabadini, Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. Volume 2504 of CEUR Workshop Proceedings, pages 184-189, CEUR-WS.org, 2019. [doi]

Authors

Ugo de'Liguoro

This author has not been identified. Look up 'Ugo de'Liguoro' in Google

Riccardo Treglia

This author has not been identified. Look up 'Riccardo Treglia' in Google
runs on