Found: 3
Select item for more details and to access through your institution.
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
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
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