Well-defined NRC queries can be typed (extended abstract)

From MaRDI portal
Publication:1799317