Pages that link to "Item:Q2482842"

From MaRDI portal

← Call-by-name reduction and cut-elimination in classical logic (Q2482842)

Jump to:navigation, search

The following pages link to Call-by-name reduction and cut-elimination in classical logic (Q2482842):

Displaying 1 item.

Compositional Z: confluence proofs for permutative conversion (Q514511) (← links)

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