Sign in

Dependent session types via intuitionistic linear type theory.

Bernardo ToninhoLuís CairesFrank Pfenning
Published in: PPDP (2011)
Keyphrases
  • multiple types
  • information retrieval
  • relational databases
  • statistically independent
  • social networks
  • expert systems
  • web search
  • closed form
  • fuzzy set theory