Work

Linear logic

Year: 1992

Type: article

Abstract: This is the second in a series of columns on logic in computer science .addressed to the Sigact readership .The guest author of this column on linear logic is Patrick Lincoln, a soon-to-be-former Phd student working in this area .

Source: ACM SIGACT News

DOI: 10.1145/130956.130958

Author: Patrick Lincoln

Institution: Stanford University

Language: Italian

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2338576683

FWCI: 2.255

Cites: 33

Cited by: 35

Related to: 10