Caricamenti
Wolenski - Semantics-And-Truth Il 0% ha trovato utile questo documentoDiaconescu - Category-Based Semantics For Equational Logic Il 0% ha trovato utile questo documentoEsakia - Intuitionistic Modal Logic Via Topology Il 0% ha trovato utile questo documentoErnst - Program Analysis Notes Il 0% ha trovato utile questo documento(2022-11-14) Benton Simple Relational Correctness Proofs (Full) Il 0% ha trovato utile questo documentoBrady - Programming With Algebraic Effects and Dependent Data Types Il 0% ha trovato utile questo documentoSrivinas - Algebraic Specification - Technical Report Il 0% ha trovato utile questo documentoBrown - Groupoid Survey Il 0% ha trovato utile questo documentoBrown - Topology and Groupoids Il 0% ha trovato utile questo documentoHiggins - Notes On Categories and Groupoids Il 0% ha trovato utile questo documentoVdoc - Pub Abstract Theory of Groups Il 0% ha trovato utile questo documento