Work

Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive Types

Year: 2002

Type: article

Source: Synthese

DOI: 10.1023/a:1020831825964

Author: Ralph Matthes

Institution: Ludwig-Maximilians-Universität München

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2008058588

FWCI: 0.67

Cites: 24

Cited by: 6

Related to: 10