Monotone Majorizable Functionals

Studia Logica

Volumn 62, Issue 2, 1999, Pages 283-289

  Schwichtenberg, Helmut ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

Dialectica interpretation; Extensionality; Hereditarily majorizable functionals; Monotone functionals; Monotone majorizable functionals; Simply typed lambda calculus

Indexed keywords

EID: 26944477989     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1026459821186     Document Type: Article

References (5)

1. Marc BEZEM, 'Compact and majorizable functionals of finite type', The Journal of Symbolic Logic 54 (1): 271-280, March 1989.
2. Anne S. TROELSTRA (ed.), Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, volume 344 of Lecture Notes in Mathematics, Springer Verlag, Berlin, Heidelberg, New York, 1973.
3. Viggo STOLTENBERG-HANSEN, Edward GRIFFOR, and Ingrid LINDSTRÖM, Mathematical Theory of Domains, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1994.
4. Jaco van de POL, 'Termination proofs for higher-order rewrite systems', in J. Heering, K. Meinke, B. Möller and T. Nipkow (eds.), Higher-Order Algebra, Logic and Term Rewriting (HOA '93), volume 816 of Lecture Notes in Computer Science, p. 305-325, Springer Verlag, Berlin, Heidelberg, New York, 1994.
5. Jaco van de POL and Helmut SCHWICHTENBERG, 'Strict functionals for termination proofs', in M. Dezani-Ciancaglini and G. Plotkin (eds.), Typed Lambda Calculi and Applications, volume 902 of Lecture Notes in Computer Science, p. 350-364, Springer Verlag, Berlin, Heidelberg, New York, 1995.