[go: up one dir, main page]

"Implicit Typing à la ML for the Join-Calculus."

Cédric Fournet et al. (1997)

Details and statistics

DOI: 10.1007/3-540-63141-0_14

access: closed

type: Conference or Workshop Paper

metadata version: 2022-06-23