Non-idempotent intersection types for the Lambda-Calculus.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 431, doi. 10.1093/jigpal/jzx018
- By:
- Publication type:
- Article
Works matching DE "TYPEWRITING services"
Results: 3
1
2
Touch-Typing Detection Using Eyewear: Toward Realizing a New Interaction for Typing Applications †.
- Published in:
- Sensors (14248220), 2019, v. 19, n. 9, p. 2022, doi. 10.3390/s19092022
- By:
- Publication type:
- Article
3
DIRECTORY OF SCHOOL EQUIPMENT AND SERVICES.
- Published in:
- 1943
- Publication type:
- Directory