- Flow Analysis, Linearity, and PTIME David Van Horn Harry G. Mairson Thu 13 June 2013
- Operational aspects of untyped Normalisation by Evaluation Klaus Aehlig Felix Joachimski Thu 13 June 2013
- Intersection types for combinatory logic Mariangiola Dezani-Ciancaglini J.Roger Hindley Thu 13 June 2013
- A finite set of functions with an EXPTIME-complete composition problem Marcin Kozik Thu 13 June 2013
- Decidable properties of intersection type systems Toshihiko Kurata Masako Takahashi Thu 13 June 2013
- A Filter Lambda Model and the Completeness of Type Assignment Henk Barendregt Mario Coppo Mariangiola Dezani-Ciancaglini Thu 13 June 2013
- Model checking SPKI/SDSI S. Jha T. Reps Thu 13 June 2013
- Parsing with derivatives: a functional pearl Matthew Might David Darais Daniel Spiewak Thu 13 June 2013
- Control-Flow Analysis of Higher-Order Languages Olin Shivers Thu 13 June 2013
- Environment Analysis of Higher-Order Languages Matthew Might Thu 13 June 2013
- The typed lambda-calculus is not elementary recursive R. Statman Wed 12 June 2013
- Finite combinatory logic with intersection types Jakob Rehof Paweł Urzyczyn Wed 12 June 2013
- Streamlining Collapsible Pushdown Systems and their Model-Checking Christopher Broadbent Naoki Kobayashi Wed 12 June 2013
- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking Luke Ong Wed 12 June 2013
- EWSCS13 Lecture Course: Higher-Order Model Checking Luke Ong Wed 12 June 2013
- Predicate abstraction and CEGAR for higher-order model checking Naoki Kobayashi Ryosuke Sato Hiroshi Unno Wed 12 June 2013
- Verification of tree-processing programs via higher-order model checking Hiroshi Unno Naoshi Tabuchi Naoki Kobayashi Wed 12 June 2013
- Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains Dejvuth Suwimonteerabuth Stefan Schwoon Javier Esparza Wed 12 June 2013
- Analysing mu-calculus properties of pushdown systems Matthew Hague C.-H. Luke Ong Wed 12 June 2013
- A Compiled Implementation of Normalization by Evaluation Klaus Aehlig Florian Haftmann Tobias Nipkow Tue 11 June 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
