Work

Basic Simple Type Theory

Year: 1997

Type: book

Source: Cambridge University Press eBooks

DOI: 10.1017/cbo9780511608865

Author: J. Roger Hindley

Institutions: Swansea University, University of Wales

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1494407580

FWCI: 8.556

Cites: 63

Cited by: 264

Related to: 10