Cargas
Wolenski - Semantics-And-Truth 0% encontró este documento útilDiaconescu - Category-Based Semantics For Equational Logic 0% encontró este documento útilEsakia - Intuitionistic Modal Logic Via Topology 0% encontró este documento útilErnst - Program Analysis Notes 0% encontró este documento útil(2022-11-14) Benton Simple Relational Correctness Proofs (Full) 0% encontró este documento útilBrady - Idris - Description of Idris 0% encontró este documento útilSrivinas - Algebraic Specification - Technical Report 0% encontró este documento útilBrady - Programming With Algebraic Effects and Dependent Data Types 0% encontró este documento útilBrown - Topology and Groupoids 0% encontró este documento útilHiggins - Notes On Categories and Groupoids 0% encontró este documento útilVdoc - Pub Abstract Theory of Groups 0% encontró este documento útil