scientific article; zbMATH DE number 7356676

zbMath1464.68055arXiv1303.7331MaRDI QIDQ4992396

Thomas Ehrhard, Alberto Carraro, Antonino Salibra

Publication date: 8 June 2021

Full work available at URL: https://arxiv.org/abs/1303.7331

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Call-by-name extensionality and confluence ⋮ Classical realizability in the CPS target language

This page was built for publication: