Predicative functionals and an interpretation of
Under an Elsevier user license
open archive
Keywords
Functional interpretation
Inductive definitions
Predicative polymorphism
Dependent types
MSC
03F10
Cited by (0)
Copyright © 1998 Published by Elsevier B.V.