- Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) Michael Carl Tschantz Dilsun Kaynar Anupam Datta Fri 02 March 2012
- Precision and the Conjunction Rule in Concurrent Separation Logic Alexey Gotsman Josh Berdine Byron Cook Fri 02 March 2012
- On a Logic for Coalitional Games with Priced-Resource Agents Dario Della Monica Margherita Napoli Mimmo Parente Fri 02 March 2012
- Game Semantics in the Nominal Model Murdoch Gabbay Dan Ghica Fri 02 March 2012
- A System-Level Game Semantics Dan R. Ghica Nikos Tzevelekos Fri 02 March 2012
- A Representation Theorem for Unique Decomposition Categories Naohiko Hoshino Fri 02 March 2012
- A Simply Typed łambda-Calculus of Forward Automatic Differentiation Oleksandr Manzyuk Fri 02 March 2012
- Logical Relations and Parametricity textendash A Reynolds Programme for Category Theory and Programming Languages Claudio Hermida Uday S. Reddy Edmund P. Robinson Fri 02 March 2012
- Coalgebraic Update Lenses Danel Ahman Tarmo Uustalu Fri 02 March 2012
- QRB, QFS, and the Probabilistic Powerdomain Jean Goubault-Larrecq Achim Jung Fri 02 March 2012
- Formalisation in Constructive Type Theory of Stoughtontextquotesingles Substitution for the Lambda Calculus Álvaro Tasistro Ernesto Copello Nora Szasz Fri 02 March 2012
- A Model of Guarded Recursion With Clock Synchronisation Aleš Bizjak Rasmus Ejlers Møgelberg Fri 02 March 2012
- Sound and Complete Equational Reasoning over Comodels Dirk Pattinson Lutz Schröder Fri 02 March 2012
- Coalgebraic Minimization of Automata by Initiality and Finality Jurriaan Rot Fri 02 March 2012
- The Polarized łambda -calculus José Espírito Santo Fri 02 March 2012
- Complete Axiomatization for the Total Variation Distance of Markov Chains Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare Fri 02 March 2012
- A Symbolic Decision Procedure for Symbolic Alternating Finite Automata Loris DtextquotesingleAntoni Zachary Kincaid Fang Wang Fri 02 March 2012
- Finitary Higher Inductive Types in the Groupoid Model Peter Dybjer Hugo Moeneclaey Fri 02 March 2012
- A Categorical Foundation for Structured Reversible Flowchart Languages Robert Glück Robin Kaarsgaard Fri 02 March 2012
- Formalization of Universal Algebra in Agda Emmanuel Gunther Alejandro Gadea Miguel Pagano Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A