Work

Constructive Mathematics and Computer Programming

Year: 1982

Type: book-chapter

Source: Studies in logic and the foundations of mathematics

DOI: 10.1016/s0049-237x(09)70189-2

Author: Per Martin-Löf

Institution: Stockholm University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2124798629

FWCI: 9.312

Cites: 10

Cited by: 452

Related to: 10