The category of implicative algebras and realizability.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 10, p. 1575, doi. 10.1017/S0960129519000100
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2019 AND VI 29 AND IP 10
Results: 4
1
2
Categorical models of the differential λ-calculus.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 10, p. 1513, doi. 10.1017/S0960129519000070
- By:
- Publication type:
- Article
3
A deterministic rewrite system for the probabilistic λ-calculus.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 10, p. 1479, doi. 10.1017/S0960129519000045
- By:
- Publication type:
- Article
4
m -Algebraic lattices in formal concept analysis.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 10, p. 1556, doi. 10.1017/S0960129519000124
- By:
- Publication type:
- Article