Work

Programming Language Semantics Using Extensional $\lambda$-Calculus Models

Year: 1974

Type: report

Source: eCommons (Cornell University)

Author: Herbert Egli

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W194548178

Cites:

Cited by: 2

Related to: 10