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

Կարդալ Առցանց

Ներբեռնել (pdf, 1.01 MB)

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

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

Հիմնական արտահայտություններ