Combining type disciplines

From MaRDI portal
Publication:1319505

DOI10.1016/0168-0072(94)90034-5zbMath0813.03009OpenAlexW1979614647MaRDI QIDQ1319505

Felice Cardone, Ugo de'Liguoro, Mariangiola Dezani-Ciancaglini

Publication date: 7 June 1995

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90034-5




Related Items (3)


Uses Software



Cites Work




This page was built for publication: Combining type disciplines