Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
Denotational Aspects of Untyped Normalization by Evaluation
Andrzej Filinski
, Henning Korsholm Rohde
Department of Computer Science
4
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Denotational Aspects of Untyped Normalization by Evaluation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Call by Value
100%
Machine Learning
100%
Functional Program
100%
Correctness Proofs
100%
Soundness
100%
Logical Relation
100%
Equivalent Term
100%
Call by Name
100%
Normalization Function
100%
Keyphrases
Calculus
100%
Normalization by Evaluation
100%
Call-by-value
50%
Call-by-name
50%
Normalization Algorithm
50%
Formal Correctness Proof
50%
Invariant Relations
50%
Part Characterization
50%
Normalization Method
50%
Logical Relations
50%
Functional Program
50%
Central Type
50%
Computational Adequacy
50%
Semantic Constructions
50%
Mathematics
Calculus
100%