Unmediated communication with partially verifiable types

From MaRDI portal
Publication:533921