Similar Items: Moschovakis Extension of Represented Spaces
- Representing Dependencies in Event Structures
- Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
- Turing machines on represented sets, a model of computation for Analysis
- On guarded extensions of MMSNP
- Representing Continuous Functions between Greatest Fixed Points of Indexed Containers
- Learning to represent code changes