Concepedia
1
Publications
1.1K
Citations
H-Index
1989
Active since
Affiliations
University of Ottawa(Current)
J. L. Bell is an author at University of Ottawa specializing in automated reasoning.
Top concepts
Automated Reasoning
Publications per year
1989–1989
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
Rows per page
1–1 of 1