Continuous semantics and inside-out reductions

• 6 December 2005
• book chapter
• Published by Springer Nature
• p. 122-146
• https://doi.org/10.1007/bfb0029522

Abstract

Keywords

• NORMAL FORM
• INVERSE LIMIT
• REDUCTION RULE
• SEMANTIC FUNCTION
• COMBINATORY LOGIC