Programming Language Theory FlashcardWhich symbol is used to denote an evaluation result of a term?Properties 3Hide BooksChapter 3. Untyped arithmetic expressions ConceptsTerm Decklanguage theoryQuestionWhich symbol is used to denote an evaluation result of a term?Answer→ Previous in FlashcardsWhich special treatments are given to natural numbers in rocq?Next in Flashcards Which symbol is used to denote enriched lambda calculus with numbers and booleans?