Încărcări by jtpaasch

Ernst - Program Analysis Notes

Srivinas - Algebraic Specification - Technical Report

Wolenski - Semantics-and-truth

Esakia - Intuitionistic Modal Logic via Topology

Diaconescu - Category-based Semantics for Equational Logic (1)

[2022-11-14] Benton Simple Relational Correctness Proofs (full)

Vdoc.pub Abstract Theory of Groups

Higgins - Notes on Categories and Groupoids

Brown - Topology and Groupoids

Conor McBride - I've got plenty o nuttin (Quantitative Types)

Brown - Groupoid Survey

Brady - Idris - Description of Idris

Brady - A Practical Implementation of a Dependently Typed Programming Language

Brady - Programming With Algebraic Effects and Dependent Data Types

Baxter - ML Implementation of a Dependently Typed Language

Grothendieck - Pursuing Stacks

Wengert - The Development of the Formal Distinction in the Lectura Prima

Ward - Scotus on Possible Natures

Tom Leinster - Rethinking Set Theory

Zylstra2019_Article_CollectiveEssenceAndMonotonici

Semantic Verifying Etherem Smart Contracts

Ronald Freiwald - An Introduction to Set Theory and Topology

Knuttila - Roger Roseth and Medieval Deontic Logic

Essays_on_Realist_Instance_Ontology_and_Its_Logic_----_(3._The_Nature_and_Necessity_of_Composite_Simples,_E.g.,_Ontic_Predicat...)

Magnusson - ALF Implementation

Essays_on_Realist_Instance_Ontology_and_Its_Logic_----_(1._Combinatorial_Predication_and_the_Ontology_of_Unit_Attributes_)

Tech-Salary-Guide_2021_NorthAmerica.pdf

Wesley Phoa - Fibrations, Toposes, Set Theory

Simpson - Intuitionistic Modal Logi

Scotus on Identity...I Mean, Mereological Fusions

06_Paasch FINAL

Initial Notes on Applied Category Theory

MartinLofOnTheMeaning96.pdf

Monads Informally

Sundholm - Inference vs Consequence

Lf i and Dacosta Systems

Adam Wodeham - Lect 1.9

Richard of Conington

The Hipster Effect - When Anticonformists All Look the Same

Avicenna Meta.9.4

JT Paasch - Medieval Theories of Causal Powers

Sic Et Non - Latin Text