From parametric polymorphism to models of polymorphic FPC

Keyphrases

• Parametric Polymorphism 100%
• Domain Theory 100%
• Impredicative Polymorphism 100%
• Parametric Model 50%
• Metalanguage 50%
• Intuitionistic 50%
• Recursive Types 50%
• Reflexive Domain 50%
• Fixed Point Combinator 50%
• Model Adequacy 50%
• Linear lambda Calculus 50%

Computer Science

• Parametric Polymorphism 100%
• Domain Theory 100%
• Parametric Model 50%
• lambda-calculus 50%
• Fixed Points 50%

Mathematics

• Parametric 100%
• Domain Theory 50%
• Calculus 25%
• Fixed Points 25%
• Nonlinear 25%