Work

Categorical logic and type theory

Year: 1998

Type: book

Source: Studies in logic and the foundations of mathematics

DOI: 10.1016/s0049-237x(98)x8028-6

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4214621180

FWCI: 6.776

Cites:

Cited by: 274

Related to: 10