Work

Principal type-schemes and lambda-calculus semantics

Year: 1980

Type: book-chapter

Source: Institutional Research Information System University of Turin (University of Turin)

Authors: Massimiliano Coppo, M. Dezani, Betti Venneri

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W139832361

FWCI: 3.482

Cites:

Cited by: 52

Related to: 10