Bounded quantification is undecidable
type: Item
instance of: scholarly article
title: Bounded quantification is undecidable
zbMATH Open document ID: 0794.03023
author: Benjamin C. Pierce
published in: Information and Computation
publication date: 1994-06-20T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03D35
zbMATH DE Number: 591677
zbMATH Keywords: typed \(\lambda\)-calculus with subtyping and bounded second-order polymorphism
zbMATH Keywords: reduction from the halting problem for two-counter Turing machines
MaRDI profile type: Publication
OpenAlex ID: W2792739471
DOI: 10.1006/INCO.1994.1055
description: scientific article; zbMATH DE number 591677