A correspondence between maximal abelian sub-algebras and linear logic fragments.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 1, p. 77, doi. 10.1017/S0960129516000062
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2018 AND VI 28 AND IP 1
Results: 5
1
2
Realizability algebras III: some examples.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 1, p. 45, doi. 10.1017/S0960129516000050
- By:
- Publication type:
- Article
3
The genus of regular languages.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 1, p. 14, doi. 10.1017/S0960129516000037
- By:
- Publication type:
- Article
4
W-types in homotopy-type theory - CORRIGENDUM.
- Published in:
- 2018
- Publication type:
- Correction Notice
5
A quantum algorithm to approximate the linear structures of Boolean functions.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 1, p. 1, doi. 10.1017/S0960129516000013
- By:
- Publication type:
- Article