A new type assignment for λ-terms
Work
Year: 1978
Type: article
Source: Archive for Mathematical Logic
Institution University of Turin
Cites: 6
Cited by: 156
Related to: 10
FWCI: 2.476
Citation percentile (by year/subfield): 98.45
Topic: Semantic Web and Ontologies
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed