-
Joachim "Jim"
Lambek FRSC (5
December 1922 – 23 June 2014) was a
Canadian mathematician. He was
Peter Redpath Emeritus Professor of Pure
Mathematics at...
-
Lambek may
refer to:
Joachim Lambek (1922–2014),
professor of pure
mathematics at
McGill University.
Lambek–Moser theorem, a
combinatorial number theory...
-
Michael Joshua Lambek FRSC (born 11 June 1950) is a
Canadian anthropologist who
serves as
professor of
anthropology at the
University of
Toronto Scarborough...
-
Kazimierz Ajdukiewicz and in the 1950s by
Yehoshua Bar-Hillel and
Joachim Lambek. It saw a
surge of
interest in the 1970s
following the work of
Richard Montague...
- of Melzak's
model is
Lambek's simplification and the
reappearance of his
mnemonic conventions in Cook and
Reckhow 1973.
Lambek (1961) took Melzak's ternary...
- been
extended to
include category theory as the three-way Curry–Howard–
Lambek correspondence. The
beginnings of the Curry–Howard
correspondence lie in...
- The
Lambek–Moser
theorem is a
mathematical description of
partitions of the
natural numbers into two
complementary sets. For instance, it
applies to the...
-
linear logic with the
noncommutative multiplicative connectives of the
Lambek calculus. Its
sequent calculus relies on the
structure of
order varieties...
- the
counter machine,
among them
those of Hermes, Ershov, Péter, Minsky,
Lambek,
Shepherdson and Sturgis, and Schönhage.
These are
explained below. Shepherdson...
-
University Press—Malagasy
diaspora Sandra Evers, Gwyn Campbell,
Michael Lambek (2013).
Contest for Land in Madagascar: Environment,
Ancestors and Development...
