Lambek, J. and Scott, P.J., Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, UK, 1986.
Joachim Lambek (born 5 December 1922 in Leipzig) is Peter Redpath Emeritus Professor of Pure Mathematics at McGill University, where he earned his Ph.D. degree in 1950 with Hans Zassenhaus as advisor.
Joachim Lambek (1961) received 15 June 1961 How to Program an Infinite Abacus, Mathematical Bulletin, vol.
Joachim Murat | Joachim | Joseph Joachim | Johann Joachim Winckelmann | Joachim von Ribbentrop | Joachim Ringelnatz | Joachim Wtewael | Joachim Trier | Joachim Peiper | Joachim of Fiore | Solomon Joachim Halberstam | Joachim du Bellay | Hans-Joachim Klein | Prince Joachim of Denmark | Joachim Witt | Joachim Wasserschlebe | Joachim von Sandrart | Joachim Rønneberg | Joachim Lelewel | Joachim Johansson | Joachim Grzega | Hans-Joachim Hespos | Hans-Joachim Born | Wichard Joachim Heinrich von Möllendorf | Steve Joachim | Saint-Joachim | Julian Joachim | Joachim Splichal | Joachim Lambek | Joachim Gauck |