Back to Search Start Over

Models for Various Type-Free Calculi

Models for Various Type-Free Calculi

Authors :
Dana Scott
Publication Year :
1973
Publisher :
Elsevier, 1973.

Abstract

Publisher Summary This chapter discusses models of various type free calculi. The range of arguments or range of values of a function should consist wholly or partly of functions. The derivative, as this notion appears in the elementary differential calculus, is a familiar mathematical example of a function for which both ranges consist of functions. Formal logic provides other examples; thus the existential quantifier, according to the present account, is a function for which the range of arguments consists of propositional functions, and the range of values consists of truth values. A function could be a “scheme” for a type of process, which would become definite when presented with an argument. The value would be extracted as an end result of the process. Two functions that are extensionally the same might compute, however, by quite different processes.

Details

Database :
OpenAIRE
Accession number :
edsair.doi...........7627e2e204b57c4c9f74099ec3c98bcf
Full Text :
https://doi.org/10.1016/s0049-237x(09)70356-8