Pages that link to "Item:Q2819783"
From MaRDI portal
The following pages link to Functors are Type Refinement Systems (Q2819783):
Displaying 10 items.
- Weakest preconditions in fibrations (Q2133463) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- A general semantic construction of dependent refinement type systems, categorically (Q2233424) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- (Q5111322) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)