Section 2.5

Question 1

A lambda expression is a ____ object.

Answer 1

syntactic

Question 2

The purpose of denotational semantics is to assign mathematical ___ to expressions.

Answer 2

values

Question 3

True or false: A lambda abstraction is a mathematical function.

Answer 3

False. A lambda abstraction can denote a mathematical function, but is not a function in of it self.

Question 4

The evaluation of a variable is determined by an ____.

Answer 4

environment

Question 5

True or false: An environment maps variable names to lambda expressions.

Answer 5

False. An environment maps variable names to values.

Question 6

True or false: A non-terminating computation can be assigned a value.

Answer 6

True.

Question 7

True or false: A strict function terminates whenever its arguments terminate.

Answer 7

False. A strict function is non-terminating whenever one of its arguments is non-terminating, but the inverse statement is not true. For example, consider the function that squares its argument forever.

Question 8

True or false: Interconvertible lambda expressions evaluate to the same value.

Answer 8

True

Question 9

True or false: Lambda expressions that evaluate to the same value are interconvertible.

Answer 9

False

Question 10

Defining two functions as equal if their results are equal for all arguments is ____ equality.

Answer 10

extensional