David Meredith
- Principal type-schemes and condensed detachment
1990/03/01 by J. Roger Hindley, David Meredith · 2 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Combinatory logic #Modus ponens #Mathematical proof #Mathematics #Axiom #Propositional calculus #Intuitionistic logic #Rule of inference #Substitution (logic) #Natural deduction #Syllogism #Type (biology) #Algebra over a field #Calculus (dental) #Discrete mathematics #Computer science #Artificial intelligence #Pure mathematics #Fuzzy logic #Programming language #Linguistics #Philosophy
- Calculi of Pure Strict Implication
1969/01/01 by E. J. Lemmon, C. A. Meredith, David Meredith +4 · 1 citation
Computer Science · #Logic, programming, and type systems