Literature as Historical Archive
- 作者Pasco, Allan H.
- 卷第35卷
- 期第3期
- 印刷ISSN0028-6087
- 电子ISSN1080-661X
- 文件大小181.48KB
- 发表时间2004
- DOI10.1353/nlh.2004.0044
- 页码373-394
同作者推荐
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