An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

BRICS Report Series
doi 10.7146/brics.v6i21.20078
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

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

BRICS Report Series
1999English

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
1987English

Polarization Effects in Lambda and Anti-Lambda Production at HERMES

2009English

Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types

Studies in Logic and the Foundations of Mathematics
1994English

$\Lambda $\<-Trees and Their Applications

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
1992English

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

PLoS ONE
Multidisciplinary
2017English

$\Lambda $-Equivariant Bordism of Maps

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1972English

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

International Journal of Pure and Applied Mathematics
MathematicsApplied Mathematics
2016English

Continuity and Discontinuity in Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy