W. W. Tait

1. Intensional interpretations of functionals of finite type I
   1967/08/01 by W. W. Tait · 13 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic