Login / Signup

Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract.

Silvia GhilezanPierre Lescanne
Published in: TYPES (2003)
Keyphrases
  • extended abstract
  • higher order
  • database
  • fixed order
  • information systems
  • search algorithm
  • theorem prover
  • multiple types
  • stochastic processes