Work

Head linear reduction and pure proof net extraction

Year: 1994

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/0304-3975(94)90263-1

Authors: G.F. Mascari, M. Pedicini

Institution: Istituto per le Applicazioni del Calcolo Mauro Picone

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2065246392

FWCI:

Cites: 13

Cited by: 38

Related to: 10