scientific article; zbMATH DE number 2090724
From MaRDI portal
Publication:4813224
zbMath1065.68026MaRDI QIDQ4813224
Andrzej Filinski, Peter Dybjer
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2395/23950137.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)
Related Items (6)
Normalization by evaluation and algebraic effects ⋮ On Normalization by Evaluation for Object Calculi ⋮ Many more predecessors: A representation workout ⋮ A static simulation of dynamic delimited control ⋮ Unnamed Item ⋮ Nominal Equational Logic
This page was built for publication:
