An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

BRICS Report Series

doi 10.7146/brics.v6i21.20078

Full Text

Abstract

Available in

Date

January 21, 1999

Authors

Publisher

Aarhus University Library

Related search

Lambda-Dropping: Transforming Recursive Equations Into Programs With Block Structure

BRICS Report Series

English

Human Immunoglobulin C Lambda 6 Gene Encodes the Kern+Oz-Lambda Chain and C Lambda 4 and C Lambda 5 Are Pseudogenes.

Proceedings of the National Academy of Sciences of the United States of America

Multidisciplinary

English

Polarization Effects in Lambda and Anti-Lambda Production at HERMES

English

Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types

Studies in Logic and the Foundations of Mathematics

English

$\Lambda $\<-Trees and Their Applications

Bulletin of the American Mathematical Society

Applied Mathematics

English

Generation and Characterization of Interferon-Lambda 1-Resistant H1N1 Influenza a Viruses

Multidisciplinary

English

$\Lambda $-Equivariant Bordism of Maps

Proceedings of the American Mathematical Society

Applied Mathematics

English

MAPPING PROPERTIES OF $\Lambda$-Spirallike AND $\Lambda$-Robertson FUNCTIONS OF COMPLEX ORDER UNDER THE GENERALIZED INTEGRAL OPERATOR

International Journal of Pure and Applied Mathematics

Applied Mathematics

English

Storage Operators and Directed Lambda-Calculus

Journal of Symbolic Logic

English