scientific article; zbMATH DE number 7324353

zbMATH Open1457.68056arXiv1202.2924MaRDI QIDQ5854732

Wouter Swierstra

Publication date: 17 March 2021

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Classical models of computation (Turing machines, etc.) (68Q04)

Related Items (1)

Strongly reducing variants of the Krivine abstract machine

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5854732)