[图书][B] Introduction to higher-order categorical logic

1988 - books.google.com
In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of
mathematics, namely mathematical logic and category theory. In Part I, they show that typed …
被引用次数：2355 相关文章

Introduction to higher order categorical logic

J Lambek, PJ Scott - 1986 - dl.acm.org
Introduction to higher order categorical logic | Guide books skip to main content ACM Digital
Library home ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register …

[引用][C] Introduction to Higher Order Categorical Logic

J LAMBEK - Cambridge Studies in Advanced Mathematics, 1986 - cir.nii.ac.jp

Introduction to Higher Order Categorical Logic

J Lambek, PJ Scott - 1986 - philpapers.org
In this book the authors reconcile two different viewpoints of the foundations of mathematics,
namely mathematical logic and category theory. In Part I, they show that typed lambda …

[引用][C] Introduction to higher order categorical logic

J Lambek, PJ Scott - (No Title) - cir.nii.ac.jp
Introduction to higher order categorical logic | CiNii Research CiNii 国立情報学研究所 学術
情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本を …

[引用][C] Introduction to higher order categorical logic

J Lambek, PJ Scott - 1988 - dl.acm.org
Introduction to higher order categorical logic | Guide books skip to main content ACM Digital
Library home ACM home Google, Inc. (search) Advanced Search Browse About Sign in …

[引用][C] Introduction to Higher Order Categorical Logic

J Lambek, PJ Scott - Journal of Symbolic Logic, 1989 - philpapers.org
J. Lambek & PJ Scott, Introduction to Higher Order Categorical Logic - PhilPapers Sign in |
Create an account PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs PhilPapers home …