Weak completeness of type assignment in λ-calculus models: a generalization of Hindley's result
Work
Year: 1991
Type: article
Source: Theoretical Computer Science
Author Mohamed Mezghiche
Institution Sorbonne Université
Cites: 6
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed