Concepedia
Theoretical Computer Science · 1983 · 30 citations · 1 references
ComputingComputer ScienceLogicProgramming LanguagesSemanticsFormal SemanticsFunctional ProgrammingModel TheoryPredicate LogicType CheckingType SystemsType Theory
1
The completeness theorem for typing λ-terms
Roger Hindley · Theoretical Computer Science · 1983 · 100 citations
Computing, Computer Science, Formal Methods +11