Work

Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types

Year: 1994

Type: book-chapter

Source: Studies in logic and the foundations of mathematics

DOI: 10.1016/s0049-237x(08)70217-9

Author: R.P. Nederpelt

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1595139175

FWCI: 19.04

Cites: 11

Cited by: 59

Related to: 10