- Comparative Schematology Michael S. Paterson Carl E. Hewitt Thu 11 September 2014
- The Incremental Garbage Collection of Processes Jr. Henry C. Baker Carl Hewitt Thu 11 September 2014
- Tree games with regular objectives Marcin Przybyłko Wed 10 September 2014
- A typed lambda calculus with intersection types Viviana Bono Betti Venneri Lorenzo Bettini Mon 08 September 2014
- Coppo-Dezani types do not correspond to propositional logic J.Roger Hindley Mon 08 September 2014
- Intersection-types à la Church Luigi Liquori Simona Ronchi Della Rocca Mon 08 September 2014
- The completeness of provable realizability. G. E. Mints Mon 08 September 2014
- Proof functional connectives E.G.K. Lopez-Escobar Mon 08 September 2014
- Intersection types and lambda models Fabio Alessi Franco Barbanera Mariangiola Dezani-Ciancaglini Mon 08 September 2014
- The Benefits of Sometimes Not Being Discrete Jane Hillston Mon 08 September 2014
- Laws of Programming: The Algebraic Unification of Theories of Concurrency Tony Hoare Mon 08 September 2014
- Type Reconstruction in F Omega Paweł Urzyczyn Sat 06 September 2014
- Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic Martin Lange Etienne Lozes Wed 03 September 2014
- Verification of Communicating Recursive Programs via Split-width C. Aiswarya Tue 02 September 2014
- The inhabitation problem for non-idempotent intersection types Antonio Bucciarelli Delia Kesner Simona Ronchi Della Rocca Tue 02 September 2014
- Probabilistic Robust Timed Games Youssouf Oualhadj Pierre-Alain Reynier Ocan Sankur Thu 28 August 2014
- Robust Synchronization in Markov Decision Processes Laurent Doyen Thierry Massart Mahsa Shirmohammadi Thu 28 August 2014
- Probabilistic Bisimulation: Naturally on Distributions Holger Hermanns Jan Krčál Jan Křetínský Thu 28 August 2014
- Controllers for the Verification of Communicating Multi-pushdown Systems Cyriac Aiswarya Paul Gastin K. Narayan Kumar Thu 28 August 2014
- Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking Kazuhide Yasukata Naoki Kobayashi Kazutaka Matsuda Thu 28 August 2014
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
