The Safe Lambda Calculus

The Safe Lambda Calculus

Show other versions (1)

Safety is a syntactic condition of higher-order grammars that constrains occurrences of variables in the production rules according to their type-theoretic order. In this paper, we introduce the safe lambda calculus, which is obtained by transposing (and generalizing) the safety condition to the set...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Blum, W, Ong, C
Fformat:	Journal article
Cyhoeddwyd:	2009

Eitemau Tebyg

The Safe Lambda Calculus
gan: William Blum, et al.
Cyhoeddwyd: (2009-02-01)

The safe lambda calculus
gan: Blum, W
Cyhoeddwyd: (2009)

Supermartingales, ranking functions and probabilistic lambda calculus
gan: Ong, C-H, et al.
Cyhoeddwyd: (2021)

The dagger lambda calculus
gan: Philip Atzemoglou
Cyhoeddwyd: (2014-12-01)

Quantitative semantics of the lambda calculus: Some generalisations of the relational model
gan: Ong, C
Cyhoeddwyd: (2017)

Functional Programming & Lambda Calculus /
gan: Ricci, Raven, author 640034, et al.
Cyhoeddwyd: (2012)

Ordered Models of the Lambda Calculus
gan: Antonino Salibra, et al.
Cyhoeddwyd: (2013-12-01)

Standardization in resource lambda-calculus
gan: Maurizio Dominici, et al.
Cyhoeddwyd: (2012-11-01)

Lambda Calculus Models of Programming Languages
gan: Morris, James H.
Cyhoeddwyd: (2023)

SCHEME: An Interpreter for Extended Lambda Calculus
gan: Sussman, Gerald J., et al.
Cyhoeddwyd: (2004)

Lambda-calculus models of programming languages.
gan: Morris, James Hiram, Jr
Cyhoeddwyd: (2011)

The lambda calculus : its syntax and semantics /
gan: 366514 Barenregt, H. P.
Cyhoeddwyd: (1981)

Lambda calculus : its syntax and semantics /
gan: 366514 Barenregt, H. P.
Cyhoeddwyd: (1984)

Termination and semantics of probabilistic lambda calculus
gan: Kenyon-Roberts, A
Cyhoeddwyd: (2024)

Intersection Types for the lambda-mu Calculus
gan: Steffen van Bakel, et al.
Cyhoeddwyd: (2018-01-01)

On Constructor Rewrite Systems and the Lambda Calculus
gan: Ugo Dal Lago, et al.
Cyhoeddwyd: (2012-08-01)

Semantics of Typed Lambda-Calculus with Constructors
gan: Barbara Petit
Cyhoeddwyd: (2011-03-01)

Addressing Machines as models of lambda-calculus
gan: Giuseppe Della Penna, et al.
Cyhoeddwyd: (2022-07-01)

A lambda calculus for real analysis
gan: Paul Taylor
Cyhoeddwyd: (2010-08-01)

Lambda calculus models of typed programming languages
gan: Mitchell, John Clifford
Cyhoeddwyd: (2005)

A Security Kernel Based on the Lambda-Calculus
gan: Rees, Jonathan A.
Cyhoeddwyd: (2004)

Using Untypes Lambda Calculus to Computer with Atoms
gan: Weiss, Paul G.
Cyhoeddwyd: (2023)

A security kernel based on the lambda-calculus
gan: Rees, Jonathan A
Cyhoeddwyd: (2007)

Lineal: A linear-algebraic Lambda-calculus
gan: Pablo Arrighi, et al.
Cyhoeddwyd: (2017-03-01)

RPO, Second-order Contexts, and Lambda-calculus
gan: Pietro Di Gianantonio, et al.
Cyhoeddwyd: (2009-08-01)

Encoding many-valued logic in $\lambda$-calculus
gan: Fer-Jan de Vries
Cyhoeddwyd: (2021-06-01)

Call-by-value Termination in the Untyped lambda-calculus
gan: Neil D. Jones, et al.
Cyhoeddwyd: (2008-03-01)

Light Logics and the Call-by-Value Lambda Calculus
gan: Paolo Coppola, et al.
Cyhoeddwyd: (2008-11-01)

Proof nets and the call-by-value lambda-calculus
gan: Beniamino Accattoli
Cyhoeddwyd: (2013-03-01)

Extensional Models of Untyped Lambda-mu Calculus
gan: Koji Nakazawa, et al.
Cyhoeddwyd: (2012-10-01)

Semantics of a Typed Algebraic Lambda-Calculus
gan: Benoît Valiron
Cyhoeddwyd: (2010-06-01)

Optimal interpreters for lambda-calculus based functional languages
gan: Kathail, Vinod
Cyhoeddwyd: (2005)

Abstract computing machines : a lambda calculus perspective /
gan: Kluge, Werner (Werner E.)
Cyhoeddwyd: (2005)

Nominal Coalgebraic Data Types with Applications to Lambda Calculus
gan: Alexander Kurz, et al.
Cyhoeddwyd: (2013-12-01)

Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
gan: Kristian Stoevring
Cyhoeddwyd: (2006-03-01)

Categorical Models for a Semantically Linear Lambda-calculus
gan: Marco Gaboardi, et al.
Cyhoeddwyd: (2010-03-01)

Fundamental theorems of extensional untyped $\lambda$-calculus revisited
gan: Alexandre Lyaletsky
Cyhoeddwyd: (2015-10-01)

On the Elementary Affine Lambda-Calculus with and Without Fixed Points
gan: Lê Thành Dũng Nguyen
Cyhoeddwyd: (2019-08-01)

Pattern Unification for the Lambda Calculus with Linear and Affine Types
gan: Anders Schack-Nielsen, et al.
Cyhoeddwyd: (2010-09-01)

Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
gan: Longo, Guiseppe
Cyhoeddwyd: (2023)