William Tait

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1967

1 William Tait: Intensional Interpretations of Functionals of Finite Type I. J. Symb. Log. 32(2): 198-212 (1967)