scientific article; zbMATH DE number 1757129

zbMATH Open0992.03021MaRDI QIDQ4536108

Matthias Eberl

Publication date: 18 June 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

domainsconfluenceKripke semanticscategorical modelsnormalization by evaluationlogical relationsset-theoretic modelsinductive definitioncall-by-valuesimply typed \(\lambda\)-calculuscall-by-nameterm rewrite systemgeneralized elementsfixed-point constructionsKripke applicative structure over a category

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Normalization by evaluation and algebraic effects ⋮ Operational aspects of untyped Normalisation by Evaluation ⋮ Title not available (Why is that?) ⋮ Normalization flow ⋮ Title not available (Why is that?) ⋮ Theorem Proving in Higher Order Logics

Recommendations

• Normalization by evaluation and algebraic effects 👍 👎
• A compiled implementation of normalisation by evaluation 👍 👎
• On Normalization by Evaluation for Object Calculi 👍 👎
• A Compiled Implementation of Normalization by Evaluation 👍 👎
• Functional and Logic Programming 👍 👎
• Normalization flow 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536108)