On the Jacopini technique
type: Item
instance of: scholarly article
title: On the Jacopini technique
zbMATH Open document ID: 0887.68010
author: Jan Kuper
published in: Information and Computation
publication date: 1998-05-25T00:00:00Z
full work available at URL: on-the-jacopini-technique(af345c26-6e9d-4415-8ac7-c372bef22177).html
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1097813
zbMATH Keywords: Jacopini technique
zbMATH Keywords: lambda calculus
MaRDI profile type: Publication
OpenAlex ID: W2073877447
cites work: Q3206926
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Some new results on easy lambda-terms
cites work: Q3741042
cites work: Q3982064
cites work: Q4128535
cites work: Q3869319
cites work: Q3691635
cites work: Q3918095
cites work: LCF considered as a programming language
cites work: Solving functional equations at higher types; some examples and some theorems
DOI: 10.1006/INCO.1997.2655
description: scientific article; zbMATH DE number 1097813