Denotational semantics of recursive types in synthetic guarded domain theory.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 3, p. 465, doi. 10.1017/S0960129518000087
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2019 AND VI 29 AND IP 3
Results: 3
1
2
Realizability in ordered combinatory algebras with adjunction.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 3, p. 430, doi. 10.1017/S0960129518000075
- By:
- Publication type:
- Article
3
The quantum walk search algorithm: factors affecting efficiency.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 3, p. 389, doi. 10.1017/S0960129518000051
- By:
- Publication type:
- Article