Building continuous webbed models for system F

From MaRDI portal
Publication:1826624

DOI10.1016/j.tcs.2003.11.011zbMath1079.03017OpenAlexW2035256009MaRDI QIDQ1826624

Stefano Berardi, Chantal Berline

Publication date: 6 August 2004

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2003.11.011



Related Items



Cites Work