The weak call-by-value lambda-calculus is reasonable for both time and space

The weak call-by-value lambda-calculus is reasonable for both time and space

ग्रंथसूची विवरण
मुख्य लेखकों:	Roth, M, Forster, Y, Kunze, F
स्वरूप:	Conference item
भाषा:	English
प्रकाशित:	Association for Computing Machinery 2020

समान संसाधन

Call-by-value Termination in the Untyped lambda-calculus
द्वारा: Neil D. Jones, और अन्य
प्रकाशित: (2008-03-01)

Light Logics and the Call-by-Value Lambda Calculus
द्वारा: Paolo Coppola, और अन्य
प्रकाशित: (2008-11-01)

Proof nets and the call-by-value lambda-calculus
द्वारा: Beniamino Accattoli
प्रकाशित: (2013-03-01)

Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
द्वारा: Ali Assaf, और अन्य
प्रकाशित: (2014-12-01)

Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
द्वारा: Giulio Guerrieri
प्रकाशित: (2019-04-01)

Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
द्वारा: Giulio Guerrieri, और अन्य
प्रकाशित: (2017-12-01)

Encoding many-valued logic in $\lambda$-calculus
द्वारा: Fer-Jan de Vries
प्रकाशित: (2021-06-01)

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
द्वारा: Manfred Schmidt-Schauß, और अन्य
प्रकाशित: (2015-03-01)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
द्वारा: Ranald Clouston, और अन्य
प्रकाशित: (2017-04-01)

The Safe Lambda Calculus
द्वारा: Blum, W, और अन्य
प्रकाशित: (2009)

The safe lambda calculus
द्वारा: Blum, W
प्रकाशित: (2009)

The Safe Lambda Calculus
द्वारा: William Blum, और अन्य
प्रकाशित: (2009-02-01)

The dagger lambda calculus
द्वारा: Philip Atzemoglou
प्रकाशित: (2014-12-01)

Functional Programming & Lambda Calculus /
द्वारा: Ricci, Raven, author 640034, और अन्य
प्रकाशित: (2012)

Ordered Models of the Lambda Calculus
द्वारा: Antonino Salibra, और अन्य
प्रकाशित: (2013-12-01)

Standardization in resource lambda-calculus
द्वारा: Maurizio Dominici, और अन्य
प्रकाशित: (2012-11-01)

The call-by-value λµ∧∨-calculus
द्वारा: Karim Nour, और अन्य
प्रकाशित: (2005-01-01)

Lambda Calculus Models of Programming Languages
द्वारा: Morris, James H.
प्रकाशित: (2023)

SCHEME: An Interpreter for Extended Lambda Calculus
द्वारा: Sussman, Gerald J., और अन्य
प्रकाशित: (2004)

Lambda-calculus models of programming languages.
द्वारा: Morris, James Hiram, Jr
प्रकाशित: (2011)

The lambda calculus : its syntax and semantics /
द्वारा: 366514 Barenregt, H. P.
प्रकाशित: (1981)

Lambda calculus : its syntax and semantics /
द्वारा: 366514 Barenregt, H. P.
प्रकाशित: (1984)

Termination and semantics of probabilistic lambda calculus
द्वारा: Kenyon-Roberts, A
प्रकाशित: (2024)

Intersection Types for the lambda-mu Calculus
द्वारा: Steffen van Bakel, और अन्य
प्रकाशित: (2018-01-01)

On Constructor Rewrite Systems and the Lambda Calculus
द्वारा: Ugo Dal Lago, और अन्य
प्रकाशित: (2012-08-01)

Semantics of Typed Lambda-Calculus with Constructors
द्वारा: Barbara Petit
प्रकाशित: (2011-03-01)

Addressing Machines as models of lambda-calculus
द्वारा: Giuseppe Della Penna, और अन्य
प्रकाशित: (2022-07-01)

A lambda calculus for real analysis
द्वारा: Paul Taylor
प्रकाशित: (2010-08-01)

Lambda calculus models of typed programming languages
द्वारा: Mitchell, John Clifford
प्रकाशित: (2005)

A Security Kernel Based on the Lambda-Calculus
द्वारा: Rees, Jonathan A.
प्रकाशित: (2004)

Using Untypes Lambda Calculus to Computer with Atoms
द्वारा: Weiss, Paul G.
प्रकाशित: (2023)

A security kernel based on the lambda-calculus
द्वारा: Rees, Jonathan A
प्रकाशित: (2007)

Supermartingales, ranking functions and probabilistic lambda calculus
द्वारा: Ong, C-H, और अन्य
प्रकाशित: (2021)

Lineal: A linear-algebraic Lambda-calculus
द्वारा: Pablo Arrighi, और अन्य
प्रकाशित: (2017-03-01)

RPO, Second-order Contexts, and Lambda-calculus
द्वारा: Pietro Di Gianantonio, और अन्य
प्रकाशित: (2009-08-01)

Extensional Models of Untyped Lambda-mu Calculus
द्वारा: Koji Nakazawa, और अन्य
प्रकाशित: (2012-10-01)

Semantics of a Typed Algebraic Lambda-Calculus
द्वारा: Benoît Valiron
प्रकाशित: (2010-06-01)

Optimal interpreters for lambda-calculus based functional languages
द्वारा: Kathail, Vinod
प्रकाशित: (2005)

Abstract computing machines : a lambda calculus perspective /
द्वारा: Kluge, Werner (Werner E.)
प्रकाशित: (2005)

Nominal Coalgebraic Data Types with Applications to Lambda Calculus
द्वारा: Alexander Kurz, और अन्य
प्रकाशित: (2013-12-01)