7 citations · 25 across the 13 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…