Sign in

Towards Gradually Typed Capabilities in the Pi-Calculus.

Matteo Cimini
Published in: ICE (2019)
Keyphrases
  • higher order
  • lambda calculus
  • real world
  • provably correct
  • real time
  • data mining
  • case study
  • mobile robot
  • automated deduction