Skip to content
<title>Channels - A rich hierarchy of functionals of finite types :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A rich hierarchy of functionals of finite types
Search for more channels:
Similar Items: A rich hierarchy of functionals of finite types
Channel Options
View Record
Explore related channels
Quick Look
Comparing hierarchies of total functionals
Quick Look
A Hierarchy of Nondeterminism
Quick Look
Statman's Hierarchy Theorem
Quick Look
The recursion hierarchy for PCF is strict
Quick Look
A survey on difference hierarchies of regular languages
Quick Look
The Wadge Hierarchy of Deterministic Tree Languages
Quick Look
On the Monadic Second-Order Transduction Hierarchy
Quick Look
HierarchyCraft: A Benchmark Builder for Hierarchical Reasoning
Quick Look
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
Quick Look
On the Mints Hierarchy in First-Order Intuitionistic Logic
Quick Look
Ambiguity Hierarchy of Regular Infinite Tree Languages
Quick Look
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
Quick Look
modepy: Basis Functions, Interpolation, and Quadrature (not just) for Finite Elements
Quick Look
On logical hierarchies within FO^2-definable languages
Quick Look
On the strictness of the quantifier structure hierarchy in first-order logic
Quick Look
Regular tree languages in low levels of the Wadge Hierarchy
Quick Look
Automatic Structures: Richness and Limitations
Quick Look
Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
Quick Look
Complexity Hierarchies and Higher-order Cons-free Term Rewriting
Quick Look
Capturing the polynomial hierarchy by second-order revised Krom logic
Quick Look
A Functional Abstraction of Typed Invocation Contexts
Quick Look
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Quick Look
Relating Functional and Imperative Session Types
Quick Look
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Load more items
View Record
Prev
Explore related channels
Next
