Proofs and types
Lambda-calculus, types and models
Lambda-calculus, types and models
Intersection and union types: syntax and semantics
Information and Computation
A general method for proving the normalization theorem for first and second order typed λ-calculi
Mathematical Structures in Computer Science
Hi-index | 0.01 |
We introduce the new families (k, r)-RBC of languages accepted in quasi-realtime by one-way counter automata having k blind counters, of which at least r are reversal-bounded. It is proved, that these families form a strict and linear ...