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.

Strong Conjunction and Intersection Types

Fabio Alessi, Franco Barbanera. Strong Conjunction and Intersection Types. In Andrzej Tarlecki, editor, Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS 91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Volume 520 of Lecture Notes in Computer Science, pages 64-73, Springer, 1991.

Authors

Fabio Alessi

This author has not been identified. Look up 'Fabio Alessi' in Google

Franco Barbanera

This author has not been identified. Look up 'Franco Barbanera' in Google
runs on