scientific article

DOI10.4230/LIPIcs.CSL.2011.396zbMath1247.68046MaRDI QIDQ2915698

Andrew M. Pitts, Steffen Lösch

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_48c6.html

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

zbMATH Keywords

typed lambda-calculusobservational equivalencecontinuationslocal names

Mathematics Subject Classification ID

[https%3A%2F%2Fportal.mardi4nfdi.de%2Fw%2Findex.php%3Ftitle%3D%2BSpecial%253ASearch%26search%3DFunctional+programming+and+lambda+calculus%26go%3DGo Functional programming and lambda calculus (68N18)] [https%3A%2F%2Fportal.mardi4nfdi.de%2Fw%2Findex.php%3Ftitle%3D%2BSpecial%253ASearch%26search%3DSemantics+in+the+theory+of+computing%26go%3DGo Semantics in the theory of computing (68Q55)]

Related Items (1)

Validating Brouwer's continuity principle for numbers using named exceptions

This page was built for publication: