On Normalization by Evaluation for Object Calculi
From MaRDI portal
Publication:3499758
DOI10.1007/978-3-540-68103-8_12zbMATH Open1138.68350OpenAlexW1566556607MaRDI QIDQ3499758FDOQ3499758
Authors: Jan Schwinghammer
Publication date: 3 June 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68103-8_12
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)
Cites Work
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
- Alpha-structural recursion and induction
- Title not available (Why is that?)
- Typed Lambda Calculi and Applications
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Semantics and logic of object calculi
- Title not available (Why is that?)
- Relational properties of domains
- A delegation-based object calculus with subtyping
- Operational aspects of untyped Normalisation by Evaluation
- Typed Lambda Calculi and Applications
- Intuitionistic model constructions and normalization proofs
- Denotational aspects of untyped normalization by evaluation
- On a monadic semantics for freshness
- Title not available (Why is that?)
Cited In (4)
Uses Software
This page was built for publication: On Normalization by Evaluation for Object Calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3499758)