Abstract Algebra/Artin M. Algebra.djvu
4.28MB
Abstract Algebra/Dummit D.S., Foote R.M. Abstract algebra.djvu
14.59MB
Abstract Algebra/Картан, Эйленберг. ГомологическаАлгебра.djvu
4.01MB
Abstract Algebra/Groups/Baker A.J. Finite Groups and their Representations.pdf
450.84KB
Abstract Algebra/Groups/Bechtell. The Theory of Groups.djvu
6.5MB
Abstract Algebra/Groups/Milne J.S. Group Theory.pdf
622.18KB
Abstract Algebra/Groups/Polites. An Introduction to the Group Theory.djvu
3.93MB
Abstract Algebra/Groups/Богопольский. Введение в теорию групп.djvu
607.31KB
Abstract Algebra/Groups/Дужин, Чеботаревский. От орнаментов до дифференциальных уравнений.djvu
1.94MB
Abstract Algebra/Groups/Холл. Теоригрупп.djvu
5.41MB
Abstract Algebra/Groups/Representations/Barcelo H., Ram A. Combinatorial Representation Theory.pdf
924.88KB
Abstract Algebra/Groups/Representations/Finite Groups.pdf
498.61KB
Abstract Algebra/Groups/Representations/Fulton W., Harris J. Representation theory. A first course .djvu
10.15MB
Abstract Algebra/Groups/Representations/Fulton. Young tableau, representation theory and geometry (.djvu
2.29MB
Abstract Algebra/Groups/Representations/Goldschmidt D.M. Group Characters, Symmetric Functions, and.djvu
1.73MB
Abstract Algebra/Groups/Representations/Kostrikin A.I. Vvedenie v algebru. Chast' 3. Osnovnye struk.djvu
2.16MB
Abstract Algebra/Groups/Representations/Виленкин. Специальные функции и теорипредставлений групп.djvu
5.76MB
Abstract Algebra/Groups/Representations/Кириллов. Лекции по методу орбит.djvu
3.05MB
Abstract Algebra/Groups/Representations/Кириллов. Элементы теории представлений.djvu
4.02MB
Abstract Algebra/Groups/Representations/Ленг. SL2(R).djvu
4.47MB
Abstract Algebra/Groups/Representations/Серр. Линейные представлениконечных групп.djvu
1.22MB
Abstract Algebra/Groups/Representations/Фейт. Теорипредставлениконечных групп.pdf
39.36MB
Abstract Algebra/Groups/Representations/Хеннан. Представленигрупп и прикладнатеоривероностей.djvu
1.19MB
Abstract Algebra/Modules/Anderson F.W., Fuller K.R. Rings and categories of modules.djvu
4.88MB
Abstract Algebra/Modules/Lam T.Y. A First Course in Noncommutative Rings.djvu
5.31MB
Abstract Algebra/Modules/Пирс. Ассоциативные алгебры.pdf
24.37MB
Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 1.pdf
462.92KB
Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 2.pdf
464KB
Categorical Logic/Awoday, Bauer. Introduction to Categorical Logic 3.pdf
429.96KB
Categorical Logic/Bell J.L. Development of Categorical Logic.pdf
716.48KB
Categorical Logic/Gambino N. Presheaf Models for Constructive Set Theories.pdf
203.02KB
Categorical Logic/Gambino N., Hyland M. Wellfounded Trees and Dependent Polynomial Functors.pdf
218.91KB
Categorical Logic/Huet G., Saibi A. Constructive Category Theory.pdf
230.53KB
Categorical Logic/Jacobs B. Categorical Logic and Type Theory.pdf
31.45MB
Categorical Logic/Jay C.B. Functorial Lambda-Calculus.pdf
337.81KB
Categorical Logic/Jay C.B. Functorial ML.pdf
502.51KB
Categorical Logic/Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf
32.66MB
Categorical Logic/Lawvere F.W. Metric Spaces, Generalized Logic and Closed Categories.pdf
2.77MB
Categorical Logic/Moerdjik I., Palmgren E. Type Theories, Toposes and Constructive Set Theory. Predecative Aspect of AST.pdf
382.57KB
Categorical Logic/Moggi E. Notions of computation and monads.pdf
269.38KB
Categorical Logic/Palmgren E. Locally Cartesian Closed Categories without chosen Constructions.pdf
312.74KB
Categorical Logic/Pitts A.M. Categorical Logic.pdf
698.19KB
Categorical Logic/Ranalter K. Two-sequent K and simple fibrations.pdf
180.9KB
Categorical Logic/Rydeheard, Burstall. Computational Category Theory.pdf
920.9KB
Categorical Logic/CAM/Hakjoo Oh. The CAM.pdf
152.67KB
Categorical Logic/CAM/Hinze. CAM Basic and Enhancements.pdf
386.81KB
Categorical Logic/CAM/Wolfengagen V.E. Combinatory Logic in Programming.djvu
697.4KB
Categorical Logic/CAM/Wolfengagen. Frame Theory and Computations.pdf
1.22MB
Categorical Logic/CAM/Вольфенгаген. Аппликативные вычислениpdf
552.32KB
Categorical Logic/CAM/Вольфенгаген. Аппликативный комптютинг.pdf
370.98KB
Categorical Logic/CAM/Вольфенгаген. Категориальнаабстрактнамашина.pdf
458.37KB
Categorical Logic/CAM/Вольфенгаген. Комбинаторналогика в программировании.pdf
1.95MB
Categorical Logic/Toposes/Awoday S. Logic in Topoi. Functorial Semantics for Higher-Order Logic.pdf
832.19KB
Categorical Logic/Toposes/Barr, Wells. Category Theory for Computing Science.pdf
533.48KB
Categorical Logic/Toposes/Berg B. Non-well-founded trees in categories.pdf
284.61KB
Categorical Logic/Toposes/Berg B. Predicative topos theory and models for constructive set theory.pdf
797.19KB
Categorical Logic/Toposes/Berg B. Sheaves for predicative toposes.pdf
208.31KB
Categorical Logic/Toposes/Blass A. Topoi and Computation.pdf
125.18KB
Categorical Logic/Toposes/Caramello O. Atomic Toposes and countable categoricity.pdf
214.18KB
Categorical Logic/Toposes/Goldblatt R. A Kripke-Joyal Semantics for Noncommutative Logic in Quantales.pdf
204.14KB
Categorical Logic/Toposes/Johnstone P.T. Sketches of an Elephant A Topos Theory Compendium.djvu
8.79MB
Categorical Logic/Toposes/Johnstone P.T. Topos Theory.djvu
22.36MB
Categorical Logic/Toposes/Lambek J., Scott P.J. Algebraic Aspects of Topos Theory.djvu
394.75KB
Categorical Logic/Toposes/Malcom G. Observational Truth as Categorical Modality.pdf
183.37KB
Categorical Logic/Toposes/Oosten. The Modified Realizability Topos.pdf
274.91KB
Categorical Logic/Toposes/Pitts A.M. On product and change of base for toposes.pdf
1.07MB
Categorical Logic/Toposes/Power J. 2-Categories.pdf
109.16KB
Categorical Logic/Toposes/Saunders Mac Lane. Sheaves in Geometry and Logic.djvu
4.61MB
Categorical Logic/Toposes/Seely R.A.G. Polymorphic Linear Logic and Topos Models.pdf
185.84KB
Categorical Logic/Toposes/Streicher T. Fibred Categories.pdf
527.9KB
Categorical Logic/Toposes/Streicher T. Universes in Toposes.pdf
270.31KB
Categorical Logic/Toposes/Vickers S. Locales and Toposes as Spaces.pdf
516.29KB
Categorical Logic/Toposes/Голдблатт. Топосы, категорийный анализ логики.djvu
5.72MB
Categorical Logic/Toposes/Джонстон. ТеориТопосов.djvu
4.08MB
Categorical Logic/Type Theory/Altenkirch T. Imredicative Representations of Categorical Datatypes.pdf
354.54KB
Categorical Logic/Type Theory/Asperti A., Longo G. Categories Types and Structures.pdf
1.6MB
Categorical Logic/Type Theory/Butz C. Bernays-Godel Type-Theory.pdf
307.62KB
Categorical Logic/Type Theory/Cattani G.L., Winskel G. Presheaf Models for Concurrency.pdf
287.91KB
Categorical Logic/Type Theory/Erwig M. Random Access to Abstract Data Types.pdf
271.78KB
Categorical Logic/Type Theory/Goubault-Larrecq J., Lasota S., Nowak D. Logical Relations for Monadic Types.pdf
946.71KB
Categorical Logic/Type Theory/Hagino T. A Categorical Programming Language.pdf
530.38KB
Categorical Logic/Type Theory/Hagino T. A Typed Lambda Calculus with Categorical Type Constructors.pdf
121.81KB
Categorical Logic/Type Theory/Kock J. Notes on Polynomial Functors.pdf
1.32MB
Categorical Logic/Type Theory/Michelbrink M. Interfaces as Functors, Programs as Coalgebras - a Final Coalgebra Theorem in Intensional Type Theory.pdf
272.22KB
Categorical Logic/Type Theory/Nogueira P. When Abstract Data Type a functor.pdf
84.91KB
Categorical Logic/Type Theory/Santocanale L. Logical Contruction of Final Coalgebras.pdf
316.12KB
Categorical Logic/Type Theory/Seely R.A.G. Locally cartesian closed categories and type theory.pdf
5.5MB
Categorical Logic/Type Theory/Vene V. Categorical Programming with Inductive and Coinductive Types.pdf
423.72KB
Categorical Logic/Type Theory/Vene V. Coding Recursion a la Mendler.pdf
242.43KB
Categorical Logic/Type Theory/Vene V. Comonadic Iteration.pdf
333.35KB
Categorical Logic/Type Theory/Vene V. Recursive Coalgebras from Comonads.pdf
243.56KB
Category Theory/Adamek, Herrlich, Strecker. The Joy of Cats.pdf
4.13MB
Category Theory/Barr, Wells. Category Theory.pdf
1.18MB
Category Theory/Barr, Wells. Toposes, Triples and Theories.pdf
1.27MB
Category Theory/Barr. Models of sketches.pdf
1.14MB
Category Theory/Fokkinga. Gentle introduction to category theory.pdf
386.58KB
Category Theory/Goguen. A Categorical Manifesto.pdf
272.07KB
Category Theory/Leinster T. The Yoneda Lemma.pdf
160.89KB
Category Theory/Pierce B.C. Basic category theory for computer scientists.djvu
5.43MB
Category Theory/Saunders Mac Lane. Categories for Working Mathematician.djvu
3.86MB
Category Theory/Schalk A., Simmons H. An Introduction to Category Theory in four easy movements.pdf
1.17MB
Category Theory/Turi D. Category Theory Lecture Notes.pdf
535.71KB
Category Theory/М.Ш. Цаленко, Е.Г. Шульгейфер. Основы теории категорий.djvu
2.09MB
Category Theory/Маклейн. Категории длработающего математика.djvu
2.73MB
Category Theory/ТеориКатегорий. Слайды.pdf
149.11KB
Lambda Calculus/Barendregt H. Lambda Calculi with Types.pdf
857.96KB
Lambda Calculus/Introduction to Functional Programming. John Harrison.pdf
927.85KB
Lambda Calculus/Vasconcelos V.T. The call-by-value lambda-calculus, the SECD machine, and the pi-calculus.pdf
320.2KB
Lambda Calculus/Wright A.K., Felleisen M. A Syntactic Approach to Type Soundness.pdf
449.09KB
Lambda Calculus/Функциональное программирование.pdf
304.37KB
Lambda Calculus/МГУ 2003 ФЯП/1 Классификациыков программированиpdf
241.59KB
Lambda Calculus/МГУ 2003 ФЯП/10 Абстрактные машины и категоральнакомбинаторналогика.pdf
246.15KB
Lambda Calculus/МГУ 2003 ФЯП/11 Категориальнаабстрактнамашина.pdf
244.67KB
Lambda Calculus/МГУ 2003 ФЯП/12 Оптимизацивычислений и расширениабстрактных машин.pdf
261.52KB
Lambda Calculus/МГУ 2003 ФЯП/2 Концепции возможности подхода .NET.pdf
240.3KB
Lambda Calculus/МГУ 2003 ФЯП/3 Функциональный подход к программированию.pdf
288.93KB
Lambda Calculus/МГУ 2003 ФЯП/4 Ламбда-исчисление как формализациЯФП.pdf
288.31KB
Lambda Calculus/МГУ 2003 ФЯП/5 Комбинаторналогика как формальнасистема.pdf
247.92KB
Lambda Calculus/МГУ 2003 ФЯП/6 Теоритипов и комбинаторналогика.pdf
276.87KB
Lambda Calculus/МГУ 2003 ФЯП/7 Синтаксис ыков программированиpdf
294.25KB
Lambda Calculus/МГУ 2003 ФЯП/8 Семантика ыков программированиpdf
282.88KB
Lambda Calculus/МГУ 2003 ФЯП/9 Рекурсивные функции и множества.pdf
282.16KB
Meta Languages/CAML/Bettenburg N. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf
203.24KB
Meta Languages/CAML/Fournet C., Maranget L. JoCaml. A Language for Concurrent Distributed and Mobile Programming.pdf
262.11KB
Meta Languages/CAML/Hickey J. Introduction to Objective Caml.pdf
2.23MB
Meta Languages/CAML/Leroy X. The Caml Light System 0.74.pdf
720KB
Meta Languages/CAML/Leroy X. The Objective Caml System 3.11.pdf
1.86MB
Meta Languages/CAML/Mandel L., Maranget L. The JoCaml Language 3.11.pdf
330.05KB
Meta Languages/CAML/Remy D. Using, Understanding and Unraveling The Ocaml Language.pdf
1.13MB
Meta Languages/Erlang/armstrong_thesis_2003.pdf
839.11KB
Meta Languages/Erlang/bjarnelic.pdf
476.6KB
Meta Languages/Erlang/foundation.pdf
173.83KB
Meta Languages/Erlang/Pragmatic.Programming.Erlang.Jul.2007.pdf
2.65MB
Meta Languages/Erlang/remond.pdf
121.24KB
Meta Languages/F#/Syme D., Granicz A., Cisternino A. Expret F#.pdf
562.48KB
Meta Languages/ML/Gilmore S. Programming in Standard ML.pdf
556.07KB
Meta Languages/ML/Harper R. Introduction to Standart ML.pdf
447.91KB
Meta Languages/ML/Harper R. Programming in Standard ML.pdf
947.33KB
Meta Languages/ML/Tofte M. Tips for CS on Standard ML.pdf
212.17KB
Meta Languages/ML/Харпер Р. Введение в Стандартный ML.pdf
612.28KB