scientific article; zbMATH DE number 1487847
From MaRDI portal
Publication:4494371
zbMath0953.68034MaRDI QIDQ4494371
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Semantic analysis of normalisation by evaluation for typed lambda calculus ⋮ Denotational aspects of untyped normalization by evaluation ⋮ Term rewriting for normalization by evaluation. ⋮ Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation ⋮ Type-safe pattern combinators ⋮ Two-level languages for program optimization ⋮ Encoding types in ML-like languages ⋮ The Simple Type Theory of Normalisation by Evaluation ⋮ Normalization by Evaluation for Martin-Löf Type Theory with One Universe
This page was built for publication:
