Monotone recursive types and recursive data representations in Cedille.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 6, p. 682, doi. 10.1017/S0960129521000402
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2021 AND VI 31 AND IP 6
Results: 3
1
2
The geometry of Bayesian programming.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 6, p. 633, doi. 10.1017/S0960129521000396
- By:
- Publication type:
- Article
3
Separating minimal valuations, point-continuous valuations, and continuous valuations.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 6, p. 614, doi. 10.1017/S0960129521000384
- By:
- Publication type:
- Article