7 citations · 20 across the 14 of their papers we have counts for
1 paper · 1 filter
A. Bucciarelli, A. Carraro, T. Ehrhard +1
Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotatio…