Pages that link to "Item:Q2133463"

From MaRDI portal

← Weakest preconditions in fibrations (Q2133463)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to Weakest preconditions in fibrations (Q2133463):

Displaying 3 items.

A general semantic construction of dependent refinement type systems, categorically (Q2233424) (← links)
Weakest preconditions in fibrations (Q5058365) (← links)
Indexed and fibered structures for partial and total correctness assertions (Q5889306) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"