Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Alejandro Díaz-Caro, Octavio Malherbe |
Semimodules and the (syntactically-)linear lambda calculus. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto |
Addressing Machines as models of lambda-calculus. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov |
Lambda-calculus, combinators and applicative computational technologies. |
Cogn. Syst. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Bernardo Almeida, Andreia Mordido, Peter Thiemann 0001, Vasco T. Vasconcelos |
Polymorphic lambda calculus with context-free session types. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Henk Barendregt, Giulio Manzonetto |
A Lambda Calculus Satellite. |
|
2022 |
RDF |
|
20 | Ryotaro Kasuga, Shin-ya Nishizaki |
Formalizing dynamic-wind in the lambda calculus. |
ICSCA |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro, Gilles Dowek |
Linear Lambda-Calculus is Linear. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
20 | David Sabel, Manfred Schmidt-Schauß, Luca Maio |
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Pedro Ângelo 0002, Mário Florido |
A Typed Lambda Calculus with Gradual Intersection Types. |
PPDP |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Malgorzata Biernacka, Witold Charatonik, Tomasz Drab |
The Zoo of Lambda-Calculus Reduction Strategies, And Coq. |
ITP |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Rick Statman |
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov |
Elements of semantic analysis based on lambda-calculus. |
BICA*AI |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Weili Fu, Fabian Krause, Peter Thiemann 0001 |
Label dependent lambda calculus and gradual typing. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ernesto Copello, Nora Szasz, Álvaro Tasistro |
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Michal Fait, Giuseppe Primiero |
HTLC: Hyperintensional Typed Lambda Calculus. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
20 | Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto |
Addressing Machines as models of lambda-calculus. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Ugo de'Liguoro, Riccardo Treglia |
Intersection Types for a Computational Lambda-Calculus with Global State. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Paolo Pistone |
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version). |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Lorenzo Gheri, Andrei Popescu 0001 |
Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Alejandro Díaz-Caro |
A Quick Overview on the Quantum Control Approach to the Lambda Calculus. |
LSFA |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Tatsuya Abe 0001, Daisuke Kimura |
A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Ugo de'Liguoro, Riccardo Treglia |
From Semantics to Types: the Case of the Imperative lambda-Calculus. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott |
Interpreting Lambda Calculus in Domain-Valued Random Variables. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Kouji Matsui |
A Proposal for an Interactive Shell Based on a Typed Lambda Calculus. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Andrew Kenyon-Roberts, Luke Ong |
Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Michele Loreti |
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. |
Formal Aspects Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Akimasa Morihata |
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Levis Zerpa |
The Teaching and Learning of the Untyped Lambda Calculus Through Web-Based e-Learning Tools. |
SAI (3) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Andrew Kenyon-Roberts, C.-H. Luke Ong |
Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Pistone |
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shin-ya Nishizaki, Ryotaro Kasuga |
Untyped lambda calculus with functionally referable environments. |
ICSCA |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yuta Takahashi |
Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus. |
TYPES |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Vít Sefl |
Translating Lambda Calculus into C++ Templates. |
TFP |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Anton Chernyavskiy, Dmitry Ilvovsky, Preslav Nakov |
Aschern at CLEF CheckThat! 2021: Lambda-Calculus of Fact-Checked Claims. |
CLEF (Working Notes) |
2021 |
DBLP BibTeX RDF |
|
20 | Pierre Clairambault, Marc de Visme |
Full abstraction for the quantum lambda-calculus. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Aloïs Brunel, Damiano Mazza, Michele Pagani |
Backpropagation in the simply typed lambda-calculus with linear negation. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts |
Universal Semantics for the Stochastic Lambda-Calculus. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Francisco Noriega, Alejandro Díaz-Caro |
The Vectorial Lambda Calculus Revisited. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Marius Buliga |
Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Mario Alvarez-Picallo, C.-H. Luke Ong |
The Difference Lambda-Calculus: A Language for Difference Categories. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Masahito Hasegawa |
A Braided Lambda Calculus. |
Linearity&TLLA@IJCAR-FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Marius Buliga |
Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Lukasz Czajka 0001 |
A new coinductive confluence proof for infinitary lambda calculus. |
Log. Methods Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Simona Kasterovic, Silvia Ghilezan |
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. |
J. Log. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco |
A typed parallel lambda-calculus via 1-depth intermediate proofs. |
LPAR |
2020 |
DBLP DOI BibTeX RDF |
|
20 | David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot |
Spinal Atomic Lambda-Calculus. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz |
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Mitsuhiro Okada, Yuta Takahashi |
A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
20 | José Espírito Santo |
The Call-By-Value Lambda-Calculus with Generalized Applications. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Akimasa Morihata |
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi |
Two linearities for quantum computing in the lambda calculus. |
Biosyst. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Faggian, Simona Ronchi Della Rocca |
Lambda Calculus and Probabilistic Computation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Ugo de'Liguoro, Riccardo Treglia |
Intersection Types for the Computational lambda-Calculus. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Lê Thành Dung Nguyên |
On the Elementary Affine Lambda-Calculus with and Without Fixed Points. |
DICE-FOPARA@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Abel 0001, Christian Sattler |
Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Aloïs Brunel, Damiano Mazza, Michele Pagani |
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Yannick Forster 0002, Gert Smolka |
Call-by-Value Lambda Calculus as a Model of Computation in Coq. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Barry Jay |
A simpler lambda calculus. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Faggian, Simona Ronchi Della Rocca |
Lambda Calculus and Probabilistic Computation. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Shin-ya Nishizaki |
ML Polymorphism of Linear Lambda Calculus with First-class Continuations. |
ICSCA |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster |
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ugo de'Liguoro, Riccardo Treglia |
Intersection Types for the Computational lambda-Calculus. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
20 | Andreas Abel 0001, Christian Sattler |
Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. |
PPDP |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Yannick Forster 0002, Fabian Kunze |
A Certifying Extraction with Time Bounds from Coq to Call-By-Value Lambda Calculus. |
ITP |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
lambda!-calculus, Intersection Types, and Involutions. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Maciej Bendkowski |
Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Simona Kasterovic, Michele Pagani |
The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Beniamino Accattoli |
A Fresh Look at the lambda-Calculus (Invited Talk). |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jan Sliacky, Petr Maj |
Lambdulus: teaching lambda calculus practically. |
SPLASH-E |
2019 |
DBLP DOI BibTeX RDF |
|
20 | David Sherratt |
A lambda-calculus that achieves full laziness with spine duplication. |
|
2019 |
RDF |
|
20 | Barry Jay |
Self-Quotation in a Typed, Intensional Lambda-Calculus. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Mehrnoosh Sadrzadeh, Reinhard Muskens |
Static and dynamic vector semantics for lambda calculus models of natural language. |
J. Lang. Model. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
Linear lambda-calculus and Reversible Automatic Combinators. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Giulio Guerrieri |
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version). |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Anton Salikhmetov |
Lambda Calculus with Explicit Read-back. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Mehrnoosh Sadrzadeh, Reinhard Muskens |
Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Fabian Kunze, Gert Smolka, Yannick Forster 0002 |
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Lukasz Czajka 0001 |
A new coinductive confluence proof for infinitary lambda-calculus. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Patrick Bahr |
Strict Ideal Completions of the Lambda Calculus. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Alejandro Aguirre 0001, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg 0001 |
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Giulio Guerrieri |
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. |
DCM/ITRS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Martín Copes, Nora Szasz, Álvaro Tasistro |
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Lukasz Lachowski |
On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic. |
Reports Math. Log. |
2018 |
DBLP BibTeX RDF |
|
20 | Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca |
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. |
Inf. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Étienne Miquey, Hugo Herbelin |
Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Fabian Kunze, Gert Smolka, Yannick Forster 0002 |
Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Aguirre 0001, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg 0001 |
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. |
ESOP |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Bahr |
Strict Ideal Completions of the Lambda Calculus. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Clairambault, Hugo Paquet |
Fully Abstract Models of the Probabilistic lambda-calculus. |
CSL |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ernesto Copello, Nora Szasz, Álvaro Tasistro |
Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky |
Clocked lambda calculus. |
Math. Struct. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | J. M. E. Hyland |
Classical lambda calculus in modern dress. |
Math. Struct. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Paula Severi, Fer-Jan de Vries |
The infinitary lambda calculus of the infinite eta Böhm trees. |
Math. Struct. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ernesto Copello, Nora Szasz, Alvaro Tasistro |
Formal metatheory of the Lambda calculus using Stoughton's substitution. |
Theor. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Kevin H. Xu |
A class of bounded functions, a database language and an extended lambda calculus. |
Theor. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro |
A lambda calculus for density matrices. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
20 | Artjoms Sinkarovs, Sven-Bodo Scholz |
A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
20 | Ugo Dal Lago, Beniamino Accattoli |
Encoding Turing Machines into the Deterministic Lambda-Calculus. |
CoRR |
2017 |
DBLP BibTeX RDF |
|