scientific article; zbMATH DE number 1508928

zbMath0946.68020MaRDI QIDQ4506392

Pablo E. Martínez-López, Delia Kesner

Publication date: 18 September 2000

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/S99-02/S99-02.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lambda calculussigma calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Inter-deriving semantic artifacts for object-oriented programming

This page was built for publication: