Uploads
Wolenski - Semantics-And-Truth 0% fanden dieses Dokument nützlichDiaconescu - Category-Based Semantics For Equational Logic 0% fanden dieses Dokument nützlichEsakia - Intuitionistic Modal Logic Via Topology 0% fanden dieses Dokument nützlichErnst - Program Analysis Notes 0% fanden dieses Dokument nützlich(2022-11-14) Benton Simple Relational Correctness Proofs (Full) 0% fanden dieses Dokument nützlichBrady - Programming With Algebraic Effects and Dependent Data Types 0% fanden dieses Dokument nützlichSrivinas - Algebraic Specification - Technical Report 0% fanden dieses Dokument nützlichBrady - A Practical Implementation of A Dependently Typed Programming Language 0% fanden dieses Dokument nützlichConor McBride - I've Got Plenty o Nuttin (Quantitative Types) 0% fanden dieses Dokument nützlichHiggins - Notes On Categories and Groupoids 0% fanden dieses Dokument nützlichVdoc - Pub Abstract Theory of Groups 0% fanden dieses Dokument nützlich