Pages that link to "Item:Q918956"

From MaRDI portal

← Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956)

Jump to:navigation, search

The following pages link to Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956):

Displaying 1 item.

On explicit substitutions and names (extended abstract) (Q4571957) (← links)

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