海量图书期刊资源,随时随地畅享阅读乐趣
NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLESJ. Lambek; P. J. Scott · 1983
Intuitionist type theory and foundationsJ. Lambek; P. J. Scott · 1981
Intuitionist Type Theory and FoundationsJ. Lambek and P. J. Scott · Journal of Philosophical Logic · 1981
Functional completeness of cartesian categoriesJ. Lambek · 1974
What is the world of mathematics?J. Lambek · 2004
Some lattice models of bilinear logicJ. Lambek · Algebra Universalis · 1995
Counting ambiguous meaningsJ. Lambek · 2008
Relations in operational categoriesJ. Lambek · Journal of Pure and Applied Algebra · 1997