Fairouz Kamareddine
AuthID: R-00K-YNX
1
TÃTULO: Explicit Substitutions for the Lambda-Calculus
AUTORES: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLICAÇÃO: 1997, FONTE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
AUTORES: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLICAÇÃO: 1997, FONTE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
INDEXADO EM: 
DBLP
DBLP