Login / Signup

A Typed Calculus of Synchronous Processes

Simon J. GayRajagopal Nagarajan
Published in: LICS (1995)
Keyphrases
  • higher order
  • lambda calculus
  • website
  • image sequences
  • multiscale
  • computational models
  • asynchronous communication