Pages that link to "Item:Q1577345"

From MaRDI portal

← Linear lambda-terms and natural deduction (Q1577345)

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 Linear lambda-terms and natural deduction (Q1577345):

Displaying 3 items.

On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
Intuitionistic Existential Instantiation and Epsilon Symbol (Q5213612) (← links)
The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)

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