তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024 তহবিল সংগ্রহের বিষয়ে

Categorical logic and type theory

Main
Mathematics
Categorical logic and type theory

Categorical logic and type theory

Jacobs, Bart

0 / 0

এই বইটি আপনার কতটা পছন্দ?

ফাইলের মান কিরকম?

মান নির্ণয়ের জন্য বইটি ডাউনলোড করুন

ডাউনলোড করা ফাইলগুলির মান কিরকম?

ক্যাটাগোরিগুলো:

সাল:

1999

প্রকাশক:

Elsevier,North-Holland

ভাষা:

english

পৃষ্ঠা:

760

ISBN 10:

0444501703

ISBN 13:

9780444501707

বইয়ের সিরিজ:

Studies in logic and the foundations of mathematics 141

ফাইল:

DJVU, 7.54 MB

IPFS:

,

english, 1999

অনলাইনে পড়া

তে রূপান্তর প্রক্রিয়া চলছে

-এ রূপান্তর ব্যর্থ হয়েছে

আপনি আগ্রহী হতে পারেন

Bart Jacobs — Categorical Logic and Type Theory

Bart Jacobs — Categorical Logic and Type Theory

Paul Taylor — Recursive Domains, Indexed Category Theory and Polymorphism [PhD diss.]

John Baez — Category Theory Course [Lecture notes]

Thomas Streicher — Introduction to Category Theory and Categorical Logic [Lecture notes]

Thomas Streicher — Fibred categories à la Jean Bénabou [Lecture notes]

Jonas Frey — A Universal Characterisation of the Tripos-to-Topos Construction [thesis]

Clark Barwick — Algebraic K-theory of higher categories [Lecture notes]

Rong Zhou — Constructing the cotangent complex via homotopical algebra

F.W. Lawvere (ed.) — Topoi (collected papers)

Makkai M. — Fibrational formulation of intuitionistic predicate logic 1

Makkai M. — Fibrational formulation of intuitionistic predicate logic 1

Lawvere F.W. — Topoi (collected papers)

Makkai M. — Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Makkai M. — Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Thomas Streicher — Fibred categories à la Jean Bénabou

— Journal of Pure and Applied Algebra №17 (1980)

— Journal of Pure and Applied Algebra №19 (1980)

Peter T. Johnstone — Sketches of an Elephant: A Topos Theory Compendium, Volumes 1 & 2

Jonathan Chapman, Frederick Rowbottom — Relative Category Theory and Geometric Morphisms: A Logical Approach

M. P. Fourman, P. T. Johnstone, A. M. Pitts — Applications of Categories in Computer Science: Proc. London Math. Soc. Symp., Durham 1991

M. P. Fourman, P. T. Johnstone, A. M. Pitts (Editors) — Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991

Jacob Lurie — Higher topos theory

Jacob Lurie — Higher topos theory

Gray J.W. (ed.) — Mathematical Applications of Category Theory

Gray J.W., Scedrov A. (eds.) — Categories in computer science and logic

Michael Anthony Hill; Michael J. Hopkins; Douglas C. Ravenel — Equivariant stable homotopy theory and the Kervaire invariant problem

Michael A Hill; Michael J Hopkins; Douglas C Ravenel — Equivariant Stable Homotopy Theory and the Kervaire Invariant Problem

Jacob Lurie — Higher Topos Theory (AM-170)

Jacob Lurie — Kerodon

Benno van den Berg, Eric Faber — Effective Kan Fibrations in Simplicial Sets

Benno van den Berg, Eric Faber — Effective Kan Fibrations in Simplicial Sets

F. W. Lawvere — Toposes, Algebraic Geometry And Logic

প্রায়শই ব্যবহৃত পরিভাষা