Work

Corrigendum: decidable bounded quantification

Year: 1995

Type: erratum

Source: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/199448.199539

Authors: Giuseppe Castagna, Benjamin C. Pierce

Institutions: Centre National de la Recherche Scientifique, University of Edinburgh

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2074237026

Cites: 1

Cited by: 14

Related to: 10