Unsolvable Terms in Filter Models (Invited Talk).

Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell

Browse the full FSCD paper archive.