Încărcări
Brady - A Practical Implementation of A Dependently Typed Programming Language 0% au considerat acest document utilErnst - Program Analysis Notes 0% au considerat acest document utilSrivinas - Algebraic Specification - Technical Report 0% au considerat acest document utilEsakia - Intuitionistic Modal Logic Via Topology 0% au considerat acest document utilWolenski - Semantics-And-Truth 0% au considerat acest document utilVdoc - Pub Abstract Theory of Groups 0% au considerat acest document utilDiaconescu - Category-Based Semantics For Equational Logic 0% au considerat acest document util(2022-11-14) Benton Simple Relational Correctness Proofs (Full) 0% au considerat acest document utilHiggins - Notes On Categories and Groupoids 0% au considerat acest document utilConor McBride - I've Got Plenty o Nuttin (Quantitative Types) 0% au considerat acest document utilBrady - Programming With Algebraic Effects and Dependent Data Types 0% au considerat acest document util