scientific article
From MaRDI portal
Publication:2778835
zbMath0981.68500MaRDI QIDQ2778835
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440385
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Abstract machines, optimal reduction, and streams ⋮ Unnamed Item ⋮ Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach
This page was built for publication:
