Work

Implicative Logic based translations of the λ-calculus into the π-calculus

Type: article

Authors: Steffen Van Bakel, Maria Grazia Vigliotti

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7097125641

Cites:

Cited by:

Related to: 10