ooo

linkych · Feb 11, 2015 · 34916d6 · 34916d6
1 parent 7c889d8
commit 34916d6
Show file tree

Hide file tree

Showing 79 changed files with 1 addition and 0 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+.DS_Store
diff --git a/20.000 lieues sous les Free Monads Coproducts - Public-2.pdf b/20.000 lieues sous les Free Monads Coproducts - Public-2.pdf
diff --git a/A Judgmental Reconstruction of Modal Logic.pdf b/A Judgmental Reconstruction of Modal Logic.pdf
diff --git a/A LINEAR CATEGORY OF POLYNOMIAL FUNCTORS (EXTENSIONAL PART).pdf b/A LINEAR CATEGORY OF POLYNOMIAL FUNCTORS (EXTENSIONAL PART).pdf
diff --git a/A Relationally Parametric Model of Dependent Type Theory.pdf b/A Relationally Parametric Model of Dependent Type Theory.pdf
diff --git a/A Representation Theorem for Second-Order Functionals.pdf b/A Representation Theorem for Second-Order Functionals.pdf
diff --git a/A categorical semantics for inductive-inductive definitions.pdf b/A categorical semantics for inductive-inductive definitions.pdf
diff --git a/A logical basis for constructive systems.pdf b/A logical basis for constructive systems.pdf
diff --git a/A new graphical calculus of proofs.pdf b/A new graphical calculus of proofs.pdf
diff --git a/A polynomial testing principle .pdf b/A polynomial testing principle .pdf
diff --git a/Arity-Generic Datatype-Generic Programming.pdf b/Arity-Generic Datatype-Generic Programming.pdf
diff --git a/Automata-Theory.pdf b/Automata-Theory.pdf
diff --git a/C Quick Syntax Reference.pdf b/C Quick Syntax Reference.pdf
diff --git a/CATEGORICAL PROOF THEORY OF CO-INTUITIONISTIC LINEAR LOGIC.pdf b/CATEGORICAL PROOF THEORY OF CO-INTUITIONISTIC LINEAR LOGIC.pdf
diff --git a/CATEGORY THEORY, LOGIC AND FORMAL LINGUISTICS- SOME CONNECTIONS, OLD AND NEW .pdf b/CATEGORY THEORY, LOGIC AND FORMAL LINGUISTICS- SOME CONNECTIONS, OLD AND NEW .pdf
diff --git a/CATEGORY THEORY, LOGIC AND FORMAL LINGUISTICS-SOME CONNECTIONS, OLD AND NEW.pdf b/CATEGORY THEORY, LOGIC AND FORMAL LINGUISTICS-SOME CONNECTIONS, OLD AND NEW.pdf
diff --git a/Categorical Programming with Abstract data types - Martin Erwig.pdf b/Categorical Programming with Abstract data types - Martin Erwig.pdf
diff --git a/Categorical Semantics and Topos Theory.pdf b/Categorical Semantics and Topos Theory.pdf
diff --git a/...cs for Functional Reactive Programming with Temporal Recursion and Corecursion-slides.pdf b/...cs for Functional Reactive Programming with Temporal Recursion and Corecursion-slides.pdf
diff --git a/...Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion.pdf b/...Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion.pdf
diff --git a/Categorical Semantics for Logic-Enriched Type Theories.pdf b/Categorical Semantics for Logic-Enriched Type Theories.pdf
diff --git a/Dependently Typed Functional Programming with Idris Lecture 3- Effect Management.pdf b/Dependently Typed Functional Programming with Idris Lecture 3- Effect Management.pdf
diff --git a/Dependently Typed Functional Programming with Idris Lecture 4: Implementing Idris.pdf b/Dependently Typed Functional Programming with Idris Lecture 4: Implementing Idris.pdf
diff --git a/Dependently Typed Metaprogramming (in Agda) - Conor Mcbride.pdf b/Dependently Typed Metaprogramming (in Agda) - Conor Mcbride.pdf
diff --git a/Dependently Typed Programming with Domain-Specific Logics.pdf b/Dependently Typed Programming with Domain-Specific Logics.pdf
diff --git a/Dependently Typed Programming with Singletons.pdf b/Dependently Typed Programming with Singletons.pdf
diff --git a/Dependently typed programs with propositions.pdf b/Dependently typed programs with propositions.pdf
diff --git a/Dependently-Typed Programming in GHC.pdf b/Dependently-Typed Programming in GHC.pdf
diff --git a/Domain Theory.pdf b/Domain Theory.pdf
diff --git a/Duality Theory and Categorical Universal Logic-With Emphasis on Quantum Structures.pdf b/Duality Theory and Categorical Universal Logic-With Emphasis on Quantum Structures.pdf
diff --git a/Even more generic solution construction in Valuation-Based Systems.pdf b/Even more generic solution construction in Valuation-Based Systems.pdf
diff --git a/Extended Lambek calculi and first-order linear logic.pdf b/Extended Lambek calculi and first-order linear logic.pdf
diff --git a/Fixed-Point Logics and Computation.pdf b/Fixed-Point Logics and Computation.pdf
diff --git a/From Action Calculi to Linear Logic.pdf b/From Action Calculi to Linear Logic.pdf
diff --git a/From truth to computability I.pdf b/From truth to computability I.pdf
diff --git a/From truth to computability II.pdf b/From truth to computability II.pdf
diff --git a/Full Lambek Hyperdoctrine-Categorical Semantics for First-Order Substructural Logics.pdf b/Full Lambek Hyperdoctrine-Categorical Semantics for First-Order Substructural Logics.pdf
diff --git a/Fun with Automata.pdf b/Fun with Automata.pdf
diff --git a/GENERIC PROGRAMMING WITHIN DEPENDENTLY TYPED PROGRAMMING .pdf b/GENERIC PROGRAMMING WITHIN DEPENDENTLY TYPED PROGRAMMING .pdf
diff --git a/Generic Programming With Dependent Types II Generic Haskell in Agda.pdf b/Generic Programming With Dependent Types II Generic Haskell in Agda.pdf
diff --git a/Generic Programming With Dependent Types I Generic Programming in Agda .pdf b/Generic Programming With Dependent Types I Generic Programming in Agda .pdf
diff --git a/Imperative Programs as Proofs via Game Semantics.pdf b/Imperative Programs as Proofs via Game Semantics.pdf
diff --git a/Initial Algebra Semantics is Enough.pdf b/Initial Algebra Semantics is Enough.pdf
diff --git a/Internal Diagrams and Archetypal Reasoning in Category Theory.pdf b/Internal Diagrams and Archetypal Reasoning in Category Theory.pdf
diff --git a/Introduction to Formal Reasoning (G52IFR).pdf b/Introduction to Formal Reasoning (G52IFR).pdf
diff --git a/Introduction to Formal Reasoning.pdf b/Introduction to Formal Reasoning.pdf
diff --git a/Intuitionistic computability logic.pdf b/Intuitionistic computability logic.pdf
diff --git a/...ncodings and their Generalization to Hylomorphisms on Hereditarily Finite Data Types .pdf b/...ncodings and their Generalization to Hylomorphisms on Hereditarily Finite Data Types .pdf
diff --git a/LINEAR USAGE OF STATE.pdf b/LINEAR USAGE OF STATE.pdf
diff --git a/Logic and linear algebra-an introduction.pdf b/Logic and linear algebra-an introduction.pdf
diff --git a/...nd Parametricity - A Reynolds Programme for Category Theory and Programming Languages.pdf b/...nd Parametricity - A Reynolds Programme for Category Theory and Programming Languages.pdf
diff --git a/Machine assisted proofs in the theory of monads.pdf b/Machine assisted proofs in the theory of monads.pdf
diff --git a/On resources and tasks.pdf b/On resources and tasks.pdf
diff --git a/On the Bright Side of Type Classes - Instance Arguments in Agda.pdf b/On the Bright Side of Type Classes - Instance Arguments in Agda.pdf
diff --git a/POLARIZED CATEGORY THEORY, MODULES, AND GAME SEMANTICS.pdf b/POLARIZED CATEGORY THEORY, MODULES, AND GAME SEMANTICS.pdf
diff --git a/Propositions as Types - Philip Wadler.pdf b/Propositions as Types - Philip Wadler.pdf
diff --git a/Propositions as [Types] - Steve Awodey Andrej Bauer.pdf b/Propositions as [Types] - Steve Awodey Andrej Bauer.pdf
diff --git a/Quang_M_Tran_The_OCaml_Module_System_2010_10_26.pdf b/Quang_M_Tran_The_OCaml_Module_System_2010_10_26.pdf
diff --git a/Quasiquotes for Scala, a Technical Report .pdf b/Quasiquotes for Scala, a Technical Report .pdf
diff --git a/Regular_Expressions_and_Automata_using_Haskell.pdf b/Regular_Expressions_and_Automata_using_Haskell.pdf
diff --git a/Resource-safe Systems Programming with Embedded Domain Specific Languages.pdf b/Resource-safe Systems Programming with Embedded Domain Specific Languages.pdf
diff --git a/Revisiting the categorical interpretation of dependent type theorypdf.pdf b/Revisiting the categorical interpretation of dependent type theorypdf.pdf
diff --git a/Scala Refactoring.pdf b/Scala Refactoring.pdf
diff --git a/Semantics of Interaction.pdf b/Semantics of Interaction.pdf
diff --git a/Sheaves for Children .pdf b/Sheaves for Children .pdf
diff --git a/Structural induction and Coinduction in a fibrational setting.pdf b/Structural induction and Coinduction in a fibrational setting.pdf
diff --git a/Structured recursion for non-uniform data-types.pdf b/Structured recursion for non-uniform data-types.pdf
diff --git a/THE TIBETAN BOOK OF THE DEAD.pdf b/THE TIBETAN BOOK OF THE DEAD.pdf
diff --git a/...ward Correspondence between Temporal Logic and Functional Reactive Programming-slides.pdf b/...ward Correspondence between Temporal Logic and Functional Reactive Programming-slides.pdf
diff --git a/The Formulae-as-types notion of construction - Howard.pdf b/The Formulae-as-types notion of construction - Howard.pdf
diff --git a/The Girard-Reynolds Isomorphism.pdf b/The Girard-Reynolds Isomorphism.pdf
diff --git a/The Interpreter Pattern Revisited Rúnar Óli Bjarnason.pdf b/The Interpreter Pattern Revisited Rúnar Óli Bjarnason.pdf
diff --git a/The Unreasonable Effectiveness of Logic.pdf b/The Unreasonable Effectiveness of Logic.pdf
diff --git a/Type Theory through Comprehension Categories.pdf b/Type Theory through Comprehension Categories.pdf
diff --git a/Type checking by theorem proving in IDRIS.pdf b/Type checking by theorem proving in IDRIS.pdf
diff --git a/sbt Reference Manual.pdf b/sbt Reference Manual.pdf
diff --git a/theodor-w-adorno-aesthetic-theory.pdf b/theodor-w-adorno-aesthetic-theory.pdf
diff --git a/Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell.pdf b/Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell.pdf