Concepedia

J. Lambek

JL

32

Publications

2.2K

Citations

18

H-Index

1951

Active since

Affiliations

McGill University(Current)

University of Alberta

J. Lambek is an author at McGill University specializing in automated reasoning, language studies, and linguistics.

Top concepts

Automated ReasoningSyntaxLanguageLinguisticsGrammarSemanticsRepresentation TheoryIntuitionEngineeringEpistemology

Publications per year

1951–2012

32

Publications

32

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

Automated Reasoning, Higher Category Theory, Type Theory +6

On the Representation of Modules by Sheaves of Factor Modules

J. Lambek · Canadian Mathematical Bulletin · 1971 · 193 citations · Full text

Schubert Calculus, Abstract Algebra, Associative Rings +8

Diagram chasing in Mal'cev categories

A. Carboni, J. Lambek, Maria Cristina Pedicchio · Journal of Pure and Applied Algebra · 1991 · 188 citations

Automated Reasoning, Higher Category Theory, Categorical Logic +2

A Generalized Ring of Quotients I

George D. Findlay, J. Lambek · Canadian Mathematical Bulletin · 1958 · 72 citations · Full text

Skew Field, Abstract Algebra, Representation Theory +7

If hamilton had prevailed: quaternions in physics

J. Lambek · The Mathematical Intelligencer · 1995 · 61 citations

Hamiltonian Theory, Quantum Science, Engineering +5

Rows per page

1–5 of 32