Загрузки
(2022-11-14) Benton Simple Relational Correctness Proofs (Full) 0% нашли этот документ полезнымVdoc - Pub Abstract Theory of Groups 0% нашли этот документ полезнымErnst - Program Analysis Notes 0% нашли этот документ полезнымSrivinas - Algebraic Specification - Technical Report 0% нашли этот документ полезнымWolenski - Semantics-And-Truth 0% нашли этот документ полезнымEsakia - Intuitionistic Modal Logic Via Topology 0% нашли этот документ полезнымDiaconescu - Category-Based Semantics For Equational Logic 0% нашли этот документ полезнымHiggins - Notes On Categories and Groupoids 0% нашли этот документ полезнымBrady - A Practical Implementation of A Dependently Typed Programming Language 0% нашли этот документ полезнымConor McBride - I've Got Plenty o Nuttin (Quantitative Types) 0% нашли этот документ полезнымBrown - Topology and Groupoids 0% нашли этот документ полезным