Work

General synthetic domain theory – a logical approach

Year: 1999

Type: article

Source: Mathematical Structures in Computer Science

DOI: 10.1017/s096012959900273x

Authors: BERNHARD REUS, THOMAS STREICHER

Institutions: Ludwig-Maximilians-Universität München, Technische Universität Darmstadt

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2107093915

FWCI: 4.655

Cites: 27

Cited by: 37

Related to: 8