Discrimination by parallel observers: the algorithm

Authors:
Mariangiola Dezani-Ciancaglini;Jerzy Tiuryn;Paweł Urzyczyn
Affiliations:
Univ. of Torino, Turin, Italy;Univ. of Warsaw, Warsaw, Poland;Univ. of Warsaw, Warsaw, Poland
Venue:
Information and Computation
Year:
1999

Intersection types for λ-trees

Theoretical Computer Science - Special issue on theories of types and proofs
Infinitary lambda calculus and discrimination of Berarducci trees

Theoretical Computer Science - Australasian computer science
Calculi, types and applications

Theoretical Computer Science
Safety of nöcker's strictness analysis

Journal of Functional Programming
Correctness of copy in calculi with letrec

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
On coinductive equivalences for higher-order probabilistic functional programs

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Hi-index	0.00