7 citations · 23 across the 6 of their papers we have counts for
1 paper · 2 filters
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…