Work

Lambda-calcul : types et modèles

Year: 1990

Type: book

Source: Masson eBooks

Author: Jean-Louis Krivine

Language: French

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2088979440

FWCI: 3.824

Cites:

Cited by: 146

Related to: 10