Quote: complete language <=> fixed points of a semantic function are the values of its expressions

Note

complete language-- the semantic function of L is a partial function from the expressions to a sub-set of expressions. This subset is the set of fixed points of the semantic function (i.e. constants)

Related Topics

Topic: reduction languages (17 items)
Topic: referential transparency (26 items)
Topic: type retract (12 items)