Authors: CURIEN PL HARDIN T LEVY JJ

Citation: Pl. Curien et al., CONFLUENCE PROPERTIES OF WEAK AND STRONG CALCULI OF EXPLICIT SUBSTITUTIONS, Journal of the ACM, 43(2), 1996, pp. 362-397

Authors: CARTWRIGHT R CURIEN PL FELLEISEN M

Citation: R. Cartwright et al., FULLY ABSTRACT SEMANTICS FOR OBSERVABLY SEQUENTIAL LANGUAGES, Information and computation, 111(2), 1994, pp. 297-401

Authors: CURIEN PL GHELLI G

Citation: Pl. Curien et G. Ghelli, DECIDABILITY AND CONFLUENCE OF BETA-ETA-TOP(LESS-THAN-OR-EQUAL-TO) REDUCTION IN F(LESS-THAN-OR-EQUAL-TO), Information and computation, 109(1-2), 1994, pp. 57-114

Authors: ABADI M CARDELLI L CURIEN PL

Citation: M. Abadi et al., FORMAL PARAMETRIC POLYMORPHISM, Theoretical computer science, 121(1-2), 1993, pp. 9-58

Authors: ABRAMSKY S CURIEN PL

Citation: S. Abramsky et Pl. Curien, SELECTED PAPERS OF THE 4TH SUMMER CONFERENCE ON CATEGORY THEORY AND COMPUTER-SCIENCE, PARIS, FRANCE, SEPTEMBER 1991 - PREFACE, Theoretical computer science, 115(1), 1993, pp. 1-2