Work

A categorical approach to realizability and polymorphic types

Year: 1988

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-19020-1_2

Authors: Aurelio Carboni, Peter J. Freyd, Andre Scedrov

Institutions: University of Milan, University of Pennsylvania

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2168025539

FWCI: 6.329

Cites: 18

Cited by: 72

Related to: 10