No label defined (Q4536108)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 1757129 |
scientific article; zbMATH DE number 1757129
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1757129 |
Statements
18 June 2002
0 references
normalization by evaluation
0 references
simply typed \(\lambda\)-calculus
0 references
term rewrite system
0 references
Kripke applicative structure over a category
0 references
categorical models
0 references
set-theoretic models
0 references
Kripke semantics
0 references
logical relations
0 references
generalized elements
0 references
confluence
0 references
fixed-point constructions
0 references
domains
0 references
call-by-value
0 references
call-by-name
0 references
inductive definition
0 references
0.9137003
0 references
0.8906885
0 references
0.88483477
0 references
0.8655096
0 references
0 references