Pages that link to "Item:Q2948556"

From MaRDI portal

← Sequent Calculus in the Topos of Trees (Q2948556)

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 Sequent Calculus in the Topos of Trees (Q2948556):

Displaying 3 items.

Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)

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