Login / Signup

Disjunctive Constraint Lambda Calculi.

Matthias M. HölzlJohn N. Crossley
Published in: LPAR (2005)
Keyphrases
  • fixed point
  • social networks