Normalization by evaluation with typed abstract syntax.

Saved in:

Bibliographic Details
Title:	Normalization by evaluation with typed abstract syntax.
Authors:	DANVY, OLIVIER¹, RHIGER, MORTEN¹, ROSE, KRISTOFFER H.²
Source:	Journal of Functional Programming. Nov2001, Vol. 11 Issue 6, p673-680. 8p.
Database:	Mathematics Source

Description
ISSN:	09567968
DOI:	10.1017/S0956796801004166