Paths, tree homomorphisms and disequalities for -clauses.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 10, p. 1786, doi. 10.1017/S096012951700024X
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2018 AND VI 28 AND IP 10
Results: 5
1
2
Essential and density topologies on s <sub>2</sub>-continuous posets.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 10, p. 1770, doi. 10.1017/S0960129517000238
- By:
- Publication type:
- Article
3
The geometry of conservative programs.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 10, p. 1723, doi. 10.1017/S0960129517000226
- By:
- Publication type:
- Article
4
Model structures on categories of models of type theories.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 10, p. 1695, doi. 10.1017/S0960129517000202
- By:
- Publication type:
- Article
5
On geometry of interaction for polarized linear logic.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 10, p. 1639, doi. 10.1017/S0960129517000196
- By:
- Publication type:
- Article