Programming Languages and Systems
From MaRDI portal
Publication:5899011
DOI10.1007/11693024zbMath1178.03039OpenAlexW2491912653MaRDI QIDQ5899011
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (13)
Continuation Models for the Lambda Calculus With Constructors ⋮ Typed path polymorphism ⋮ Lambda calculus with patterns ⋮ Pure pattern calculus à la de Bruijn ⋮ Intensional computation with higher-order functions ⋮ Expression reduction systems with patterns ⋮ Type soundness for path polymorphism ⋮ On abstract normalisation beyond neededness ⋮ Recursive Functions with Pattern Matching in Interaction Nets ⋮ A Polymorphic Type System for the Lambda-Calculus with Constructors ⋮ A Framework for Defining Logical Frameworks ⋮ Structuring Operational Semantics: Simplification and Computation ⋮ From Functional Programs to Interaction Nets via the Rewriting Calculus
This page was built for publication: Programming Languages and Systems
