scientific article
From MaRDI portal
Publication:2778829
zbMath0981.03021MaRDI QIDQ2778829
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440315
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (3)
On Normalization by Evaluation for Object Calculi ⋮ Logical equivalence for subtyping object and recursive types ⋮ Subtyping in Logical Form
This page was built for publication:
