The call-by-value λ-calculus: a semantic investigation This work was supported by TMR-Marie Curie Grant, contract n. ERBFMBICT9601411

• Autores: SIMONA RONCHI della ROCCA, ALBERTO PRAVATO, LUCA ROVERSI
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 9, Nº 5, 1999, págs. 617-650
• Idioma: inglés
• DOI: 10.1017/s0960129598002722
• Texto completo no disponible (Saber más ...)