A typed lambda calculus with intersection types

From MaRDI portal
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


Uses Software


Cites Work