Login / Signup

The Polarized λ-calculus.

José Espírito Santo
Published in: LSFA (2016)
Keyphrases
  • spatially varying
  • real time
  • algebraic structure
  • database query languages
  • three dimensional
  • multiscale
  • expert systems
  • formal language