A typed lambda calculus with intersection types

From MaRDI portal
Revision as of 17:39, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:930870

DOI10.1016/J.TCS.2008.01.046zbMath1145.68009OpenAlexW2105663497MaRDI QIDQ930870

Lorenzo Bettini, Viviana Bono, Betti Venneri

Publication date: 24 June 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2158/257190




Related Items (3)


Uses Software



Cites Work




This page was built for publication: A typed lambda calculus with intersection types