Pages that link to "Item:Q2134832"

The following pages link to Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832):

Displaying 2 items.

• Deriving logical relations from interpretations of predicate logic (Q2133176) (← links)
• Canonical Gradings of Monads (Q6150137) (← links)