Programming Language Theory FlashcardWhich symbol is usually used to denote subtyping relation?Properties 3Hide BooksChapter 5. Types ConceptsSubtyping relation Decktype theoryQuestionWhich symbol is usually used to denote subtyping relation?Answer<: Previous in FlashcardsWhich symbol is used to denote pure lambda calculus?Next in Flashcards Which symbols are usually given to a finite set of basic judgments?