and F.-J. de Vries. An Extensional Böhm Model (2002)

by P Severi
Venue:RTA 2002, volume 2378 of LNCS