A lambda calculus for real analysis

A lambda calculus for real analysis

Bibliographic Details
Main Author:	Paul Taylor
Format:	Article
Language:	English
Published:	Journal of Logic and Analysis 2010-08-01
Series:	Journal of Logic and Analysis
Online Access:	http://www.logicandanalysis.org/index.php/jla/article/view/63

Similar Items

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

The safe lambda calculus
by: Blum, W
Published: (2009)

The dagger lambda calculus
by: Philip Atzemoglou
Published: (2014-12-01)

The Safe Lambda Calculus
by: Blum, W, et al.
Published: (2009)

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

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

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

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

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

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

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

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

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

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

Lambda Calculus Models of Programming Languages
by: Morris, James H.
Published: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

Lambda calculus models of typed programming languages
by: Mitchell, John Clifford
Published: (2005)

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

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

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

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

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

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

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

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

Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
by: Giulio Guerrieri, et al.
Published: (2017-12-01)

A new coinductive confluence proof for infinitary lambda calculus
by: Łukasz Czajka
Published: (2020-03-01)

A fully-abstract semantics of lambda-mu in the pi-calculus
by: Steffen van Bakel, et al.
Published: (2014-09-01)

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
by: Beniamino Accattoli, et al.
Published: (2012-03-01)