Typed Lambda Calculi and Applications
From MaRDI portal
Publication:5704028
DOI10.1007/b135690zbMath1114.03006OpenAlexW2501230561MaRDI QIDQ5704028
No author found.
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135690
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Krivine machines and higher-order schemes ⋮ Unnamed Item ⋮ Streett Automata Model Checking of Higher-Order Recursion Schemes
This page was built for publication: Typed Lambda Calculi and Applications
