scientific article; zbMATH DE number 2061704
From MaRDI portal
Publication:4457451
zbMath1040.03025MaRDI QIDQ4457451
Paolo Coppola, Simonetta Ronchi della Rocca
Publication date: 22 March 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2701/27010090.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items (4)
(Optimal) duplication is not elementary recursive ⋮ Phase semantics and decidability of elementary affine logic ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Type inference for light affine logic via constraints on words
This page was built for publication:
