Q4536108
type: Item
instance of: scholarly article
zbMATH Open document ID: 0992.03021
author: Matthias Eberl
publication date: 2002-06-18T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 1757129
zbMATH Keywords: normalization by evaluation
zbMATH Keywords: simply typed \(\lambda\)-calculus
zbMATH Keywords: term rewrite system
zbMATH Keywords: Kripke applicative structure over a category
zbMATH Keywords: categorical models
zbMATH Keywords: set-theoretic models
zbMATH Keywords: Kripke semantics
zbMATH Keywords: logical relations
zbMATH Keywords: generalized elements
zbMATH Keywords: confluence
zbMATH Keywords: fixed-point constructions
zbMATH Keywords: domains
zbMATH Keywords: call-by-value
zbMATH Keywords: call-by-name
zbMATH Keywords: inductive definition
MaRDI profile type: Publication
Recommended article: Q4813224
Recommended article: Normalization by evaluation and algebraic effects
Recommended article: Q3035254
Recommended article: A Compiled Implementation of Normalization by Evaluation
Recommended article: A compiled implementation of normalisation by evaluation
Recommended article: On Normalization by Evaluation for Object Calculi
Recommended article: Normalization flow
Recommended article: Q4411815
Recommended article: Functional and Logic Programming
Recommended article: Q5369497
description: scientific article; zbMATH DE number 1757129