CONCURRENCY AND PROBABILITY: REMOVING CONFUSION, COMPOSITIONALLY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 17, doi. 10.23638/LMCS-15(4:17)2019
- By:
- Publication type:
- Article
Works matching IS 18605974 AND DT 2020 AND VI 16 AND IP 1
Results: 3
1
2
NON-IDEMPOTENT TYPES FOR CLASSICAL CALCULI IN NATURAL DEDUCTION STYLE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 3, doi. 10.23638/LMCS-16(1:3)2020
- By:
- Publication type:
- Article
3
MODALITIES IN HOMOTOPY TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:2)2020
- By:
- Publication type:
- Article