Work

Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions.

Year: 1998

Type: article

Authors: Fairouz Kamareddine, Alejandro Ríos, J. B. Wells

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1536318110

FWCI: 2.197

Cites:

Cited by: 7

Related to: 9