The Safe Lambda Calculus

The Safe Lambda Calculus

Hiển thị phiên bản (1) khác

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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Blum, W, Ong, C
Định dạng:	Journal article
Được phát hành:	2009

Những quyển sách tương tự

The Safe Lambda Calculus
Bằng: William Blum, et al.
Được phát hành: (2009-02-01)

The safe lambda calculus
Bằng: Blum, W
Được phát hành: (2009)

Supermartingales, ranking functions and probabilistic lambda calculus
Bằng: Ong, C-H, et al.
Được phát hành: (2021)

The dagger lambda calculus
Bằng: Philip Atzemoglou
Được phát hành: (2014-12-01)

Quantitative semantics of the lambda calculus: Some generalisations of the relational model
Bằng: Ong, C
Được phát hành: (2017)

Functional Programming & Lambda Calculus /
Bằng: Ricci, Raven, author 640034, et al.
Được phát hành: (2012)

Ordered Models of the Lambda Calculus
Bằng: Antonino Salibra, et al.
Được phát hành: (2013-12-01)

Standardization in resource lambda-calculus
Bằng: Maurizio Dominici, et al.
Được phát hành: (2012-11-01)

Lambda Calculus Models of Programming Languages
Bằng: Morris, James H.
Được phát hành: (2023)

SCHEME: An Interpreter for Extended Lambda Calculus
Bằng: Sussman, Gerald J., et al.
Được phát hành: (2004)

Lambda-calculus models of programming languages.
Bằng: Morris, James Hiram, Jr
Được phát hành: (2011)

The lambda calculus : its syntax and semantics /
Bằng: 366514 Barenregt, H. P.
Được phát hành: (1981)

Lambda calculus : its syntax and semantics /
Bằng: 366514 Barenregt, H. P.
Được phát hành: (1984)

Termination and semantics of probabilistic lambda calculus
Bằng: Kenyon-Roberts, A
Được phát hành: (2024)

Intersection Types for the lambda-mu Calculus
Bằng: Steffen van Bakel, et al.
Được phát hành: (2018-01-01)

On Constructor Rewrite Systems and the Lambda Calculus
Bằng: Ugo Dal Lago, et al.
Được phát hành: (2012-08-01)

Semantics of Typed Lambda-Calculus with Constructors
Bằng: Barbara Petit
Được phát hành: (2011-03-01)

Addressing Machines as models of lambda-calculus
Bằng: Giuseppe Della Penna, et al.
Được phát hành: (2022-07-01)

A lambda calculus for real analysis
Bằng: Paul Taylor
Được phát hành: (2010-08-01)

Lambda calculus models of typed programming languages
Bằng: Mitchell, John Clifford
Được phát hành: (2005)

A Security Kernel Based on the Lambda-Calculus
Bằng: Rees, Jonathan A.
Được phát hành: (2004)

Using Untypes Lambda Calculus to Computer with Atoms
Bằng: Weiss, Paul G.
Được phát hành: (2023)

A security kernel based on the lambda-calculus
Bằng: Rees, Jonathan A
Được phát hành: (2007)

Lineal: A linear-algebraic Lambda-calculus
Bằng: Pablo Arrighi, et al.
Được phát hành: (2017-03-01)

RPO, Second-order Contexts, and Lambda-calculus
Bằng: Pietro Di Gianantonio, et al.
Được phát hành: (2009-08-01)

Encoding many-valued logic in $\lambda$-calculus
Bằng: Fer-Jan de Vries
Được phát hành: (2021-06-01)

Call-by-value Termination in the Untyped lambda-calculus
Bằng: Neil D. Jones, et al.
Được phát hành: (2008-03-01)

Light Logics and the Call-by-Value Lambda Calculus
Bằng: Paolo Coppola, et al.
Được phát hành: (2008-11-01)

Proof nets and the call-by-value lambda-calculus
Bằng: Beniamino Accattoli
Được phát hành: (2013-03-01)

Extensional Models of Untyped Lambda-mu Calculus
Bằng: Koji Nakazawa, et al.
Được phát hành: (2012-10-01)

Semantics of a Typed Algebraic Lambda-Calculus
Bằng: Benoît Valiron
Được phát hành: (2010-06-01)

Optimal interpreters for lambda-calculus based functional languages
Bằng: Kathail, Vinod
Được phát hành: (2005)

Abstract computing machines : a lambda calculus perspective /
Bằng: Kluge, Werner (Werner E.)
Được phát hành: (2005)

Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Bằng: Alexander Kurz, et al.
Được phát hành: (2013-12-01)

Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Bằng: Kristian Stoevring
Được phát hành: (2006-03-01)

Categorical Models for a Semantically Linear Lambda-calculus
Bằng: Marco Gaboardi, et al.
Được phát hành: (2010-03-01)

Fundamental theorems of extensional untyped $\lambda$-calculus revisited
Bằng: Alexandre Lyaletsky
Được phát hành: (2015-10-01)

On the Elementary Affine Lambda-Calculus with and Without Fixed Points
Bằng: Lê Thành Dũng Nguyen
Được phát hành: (2019-08-01)

Pattern Unification for the Lambda Calculus with Linear and Affine Types
Bằng: Anders Schack-Nielsen, et al.
Được phát hành: (2010-09-01)

Power Set Models of Lambda-Calculus: Theories, Expansions, Isomorphisms
Bằng: Longo, Guiseppe
Được phát hành: (2023)