Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Categorical logic and type theory

Main
Mathematics
Categorical logic and type theory

Categorical logic and type theory

Jacobs, Bart

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Anno:

1999

Casa editrice:

Elsevier,North-Holland

Lingua:

english

Pagine:

760

ISBN 10:

0444501703

ISBN 13:

9780444501707

Collana:

Studies in logic and the foundations of mathematics 141

File:

DJVU, 7.54 MB

IPFS:

,

english, 1999

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

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

Termini più frequenti