Pages that link to "Item:Q732057"

From MaRDI portal

← A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057)

Jump to:navigation, search

The following pages link to A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057):

Displaying 2 items.

A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
Normalization in the simply typed -calculus (Q5889885) (← links)

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