Uploads
Computational Duality and The Sequent Calculus 0% found this document usefulO-Models of Finite Set Theory 0% found this document usefulThe Atomic Lambda-Mu Calculus - He, Fanny 0% found this document usefulStructured Probabilistic Reasoning: (Incomplete Draft) 0% found this document usefulThe Duality of Computation - Herbelin, Hugo 0% found this document usefulStandard Models of Arithmetic 0% found this document usefulNotation As A Tool of Thought - Iverson, Kenneth E 0% found this document usefulVariations On A Visserian Theme 0% found this document usefulUva-Dare (Digital Academic Repository) : Abstract and Concrete Type Theories 0% found this document usefulA New Approach To Abstract Syntax With Variable Binding 0% found this document usefulData-Codata Symmetry and Its Interaction With Evaluation Order 0% found this document useful