- A Compiled Implementation of Normalization by Evaluation Klaus Aehlig Florian Haftmann Tobias Nipkow Tue 11 June 2013
- Normalization by evaluation with typed abstract syntax Olivier Danvy Morten Rhiger Kristoffer H. Rose Tue 11 June 2013
- Normalization by Evaluation for Thorsten Altenkirch Tarmo Uustalu Tue 11 June 2013
- Dependently Typed Programming in Agda Ulf Norell James Chapman Tue 11 June 2013
- Normalization and Partial Evaluation Peter Dybjer Andrzej Filinski Mon 10 June 2013
- On the lambdaY calculus Rick Statman Mon 10 June 2013
- On the Cascaded Decomposition of Automata, its Complexity and its Application to Logic Oded Maler Amir Pnueli Mon 10 June 2013
- Type-directed partial evaluation Olivier Danvy Mon 10 June 2013
- An inverse of the evaluation functional for typed lambda-calculus U. Berger H. Schwichtenberg Mon 10 June 2013
- A Denotational Account of Untyped Normalization by Evaluation Andrzej Filinski Henning Korsholm Rohde Mon 10 June 2013
- Regular Real Analysis Swarat Chaudhuri Sriram Sankaranarayanan Moshe Y. Vardi Wed 05 June 2013
- An Algorithm for the Minimal Model Ralph Loader Wed 05 June 2013
- Semantique de Jeux et Decidabilite dans PCF Pierre Clairambault Wed 05 June 2013
- The Power of Priority Channel Systems Christoph Haase Sylvain Schmitz Philippe Schnoebelen Fri 31 May 2013
- Improved Ramsey-Based Buchi Complementation Stefan Breuers Christof Løding Jørg Olschewski Wed 29 May 2013
- Efficient inclusion testing for simple classes of unambiguous Buchi-automata Dimitri Isaak Christof Løding Wed 29 May 2013
- Queueing system with impatient customers: A review Kangzhou Wang Na Li Zhibin Jiang Mon 27 May 2013
- Stochastic Parity Games on Lossy Channel Systems Parosh A. Abdulla Lorenzo Clemente Richard Mayr Sven Sandberg Mon 27 May 2013
- A proof of the Krohne-Rhodes Decomposition Theorem Z. Esik Mon 27 May 2013
- Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines Kenneth Krohn John Rhodes Wed 22 May 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
