Fixpoint Semantics of L-lambda. - Maurizio Martelli; Alessandro Messora; Catuscia Palamidessi (ILPS, 1993)

Fixpoint Semantics of L lambda. - Maurizio Martelli; Alessandro Messora; Catuscia Palamidessi; Alain Hui-Bon-Hoa (GULP-PRODE (1), 1994)