Login / Signup

Intersection types and runtime errors in the pi-calculus.

Ugo Dal LagoMarc de VismeDamiano MazzaAkira Yoshimizu
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • neural network
  • formal language
  • artificial neural networks
  • fuzzy logic
  • error propagation