Recursive Domains, Indexed Category Theory and Polymorphism...

Main
Recursive Domains, Indexed Category...

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

Paul Taylor

0 / 0

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

Downloaded from http://www.cs.man.ac.uk/~pt/domains/recdic.pdf
revised, version 12 Aug 2003

साल:

2003

प्रकाशन:

University of Cambridge

भाषा:

english

पृष्ठ:

198

फ़ाइल:

PDF, 1.01 MB

IPFS:

,

english, 2003

ऑनलाइन पढ़ें

में रूपांतरण जारी है

में रूपांतरण विफल रहा

आप के लिए दिलचस्प हो सकता है

Borceux F. — Handbook of Categorical Algebra 3

Michael Barr & Charles Wells — Toposes, Triples, and Theories

Michael W. Mislove — Topology, Domain Theory and Theoretical Computer Science

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]

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

Lawvere F.W. — Topoi (collected papers)

Thomas Streicher — Introduction to Category Theory and Categorical Logic

Thomas Streicher — Fibred categories à la Jean Bénabou

— Journal of Pure and Applied Algebra №116 (1997)

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

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

Bart Jacobs — Categorical Logic and Type Theory

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. Barr, C. Wells — Toposes, Triples and Theories

Bart Jacobs — Categorical Logic and Type Theory

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

Roy L. Crole — Categories for Types

Paul Taylor — Practical Foundations of Mathematics

Maria Cristina Pedicchio, Walter Tholen — Categorical foundations: Special topics in order, topology, algebra, and sheaf theory

Jacob Lurie — Higher topos theory

Jacob Lurie — Higher topos theory

Kai A. Behrend — Derived L-Adic Categories for Algebraic Stacks

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

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

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

B. Banaschewski, R.-E. Hoffmann — Continuous Lattices Proc. conf. Bremen, 1979

S. Kamal Abdali, David S. Wise (auth.), Austin Melton (eds.) — Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings

Francis Borceux — Categorical Algebra and its Applications. Proc. conf. Louvain-La-Neuve, 1987

सबसे उपयोगी शब्द