Login / Signup
Polymorphic types, fixed-point combinators and continuous lambda-models.
Mariangiola Dezani-Ciancaglini
Ines Margaria
Published in:
Formal Description of Programming Concepts (1987)
Keyphrases
</>
fixed point
sufficient conditions
floating point
database
dynamical systems
bargaining solution
preprocessing
multi view
constraint databases