Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Alejandro Díaz-Caro, Octavio Malherbe |
Semimodules and the (syntactically-)linear lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.02142, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto |
Addressing Machines as models of lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov |
Lambda-calculus, combinators and applicative computational technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Syst. Res. ![In: Cogn. Syst. Res. 76, pp. 93-100, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Bernardo Almeida, Andreia Mordido, Peter Thiemann 0001, Vasco T. Vasconcelos |
Polymorphic lambda calculus with context-free session types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 289(Part), pp. 104948, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Henk Barendregt, Giulio Manzonetto |
A Lambda Calculus Satellite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
20 | Ryotaro Kasuga, Shin-ya Nishizaki |
Formalizing dynamic-wind in the lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSCA ![In: ICSCA 2022: 11th International Conference on Software and Computer Applications, Melaka, Malaysia, February 24 - 26, 2022, pp. 90-96, 2022, ACM, 978-1-4503-8577-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro, Gilles Dowek |
Linear Lambda-Calculus is Linear. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., pp. 21:1-21:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-233-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | David Sabel, Manfred Schmidt-Schauß, Luca Maio |
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022, pp. 4:1-4:15, 2022, ACM, 978-1-4503-9703-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Pedro Ângelo 0002, Mário Florido |
A Typed Lambda Calculus with Gradual Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022, pp. 9:1-9:13, 2022, ACM, 978-1-4503-9703-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Malgorzata Biernacka, Witold Charatonik, Tomasz Drab |
The Zoo of Lambda-Calculus Reduction Strategies, And Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 13th International Conference on Interactive Theorem Proving, ITP 2022, August 7-10, 2022, Haifa, Israel., pp. 7:1-7:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-252-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Rick Statman |
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, pp. 316-326, 2022, Springer, 978-3-030-93099-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Larisa Y. Ismailova, Viacheslav Wolfengagen, Sergey Kosikov |
Elements of semantic analysis based on lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICA*AI ![In: Proceedings of the 2022 Annual International Conference on Brain-Inspired Cognitive Architectures for Artificial Intelligence, BICA*AI 2022, 13th Annual Meeting of the BICA Society, September 22-24, 2022, Guadalajara, Mexico., pp. 471-476, 2022, Elsevier. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Weili Fu, Fabian Krause, Peter Thiemann 0001 |
Label dependent lambda calculus and gradual typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(OOPSLA), pp. 1-29, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(3), pp. 341-360, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Michal Fait, Giuseppe Primiero |
HTLC: Hyperintensional Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(2), pp. 469-496, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto |
Addressing Machines as models of lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.00319, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Ugo de'Liguoro, Riccardo Treglia |
Intersection Types for a Computational Lambda-Calculus with Global State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.01358, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Paolo Pistone |
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.13324, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Lorenzo Gheri, Andrei Popescu 0001 |
Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.11674, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Alejandro Díaz-Caro |
A Quick Overview on the Quantum Control Approach to the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021., pp. 1-17, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Tatsuya Abe 0001, Daisuke Kimura |
A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.12607, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Ugo de'Liguoro, Riccardo Treglia |
From Semantics to Types: the Case of the Imperative lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021., pp. 168-183, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott |
Interpreting Lambda Calculus in Domain-Valued Random Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.06339, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Kouji Matsui |
A Proposal for an Interactive Shell Based on a Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.03678, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Andrew Kenyon-Roberts, Luke Ong |
Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.11164, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Michele Loreti |
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 33(3), pp. 457-458, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Akimasa Morihata |
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 31, pp. e7, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Levis Zerpa |
The Teaching and Learning of the Untyped Lambda Calculus Through Web-Based e-Learning Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAI (3) ![In: Intelligent Computing - Proceedings of the 2021 Computing Conference, Volume 3, SAI 2021, Virtual Event, 15-16 July, 2021., pp. 419-436, 2021, Springer, 978-3-030-80128-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Andrew Kenyon-Roberts, C.-H. Luke Ong |
Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-13, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Pistone |
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-14, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shin-ya Nishizaki, Ryotaro Kasuga |
Untyped lambda calculus with functionally referable environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSCA ![In: ICSCA 2021, 10th International Conference on Software and Computer Applications, Kuala Lumpur, Malaysia, February 23-26, 2021, pp. 100-104, 2021, ACM, 978-1-4503-8882-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yuta Takahashi |
Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference)., pp. 12:1-12:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-254-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Vít Sefl |
Translating Lambda Calculus into C++ Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers, pp. 95-115, 2021, Springer, 978-3-030-83977-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Anton Chernyavskiy, Dmitry Ilvovsky, Preslav Nakov |
Aschern at CLEF CheckThat! 2021: Lambda-Calculus of Fact-Checked Claims. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Proceedings of the Working Notes of CLEF 2021 - Conference and Labs of the Evaluation Forum, Bucharest, Romania, September 21st - to - 24th, 2021., pp. 484-493, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Pierre Clairambault, Marc de Visme |
Full abstraction for the quantum lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(POPL), pp. 63:1-63:28, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Aloïs Brunel, Damiano Mazza, Michele Pagani |
Backpropagation in the simply typed lambda-calculus with linear negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(POPL), pp. 64:1-64:27, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.13171, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Francisco Noriega, Alejandro Díaz-Caro |
The Vectorial Lambda Calculus Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.03648, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Marius Buliga |
Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.14332, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Mario Alvarez-Picallo, C.-H. Luke Ong |
The Difference Lambda-Calculus: A Language for Difference Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.14476, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Masahito Hasegawa |
A Braided Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 94-108, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Marius Buliga |
Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.10288, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Lukasz Czajka 0001 |
A new coinductive confluence proof for infinitary lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 16(1), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Simona Kasterovic, Silvia Ghilezan |
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 30(8), pp. 1567-1608, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco |
A typed parallel lambda-calculus via 1-depth intermediate proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 68-89, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot |
Spinal Atomic Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, pp. 582-601, 2020, Springer, 978-3-030-45230-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020, pp. 187-203, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 136-155, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | José Espírito Santo |
The Call-By-Value Lambda-Calculus with Generalized Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 35:1-35:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Akimasa Morihata |
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(ICFP), pp. 80:1-80:25, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi |
Two linearities for quantum computing in the lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 186, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Faggian, Simona Ronchi Della Rocca |
Lambda Calculus and Probabilistic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.02853, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Ugo de'Liguoro, Riccardo Treglia |
Intersection Types for the Computational lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.05706, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Lê Thành Dung Nguyên |
On the Elementary Affine Lambda-Calculus with and Without Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICE-FOPARA@ETAPS ![In: Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7, 2019., pp. 15-29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Abel 0001, Christian Sattler |
Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.06097, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Aloïs Brunel, Damiano Mazza, Michele Pagani |
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.13768, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Yannick Forster 0002, Gert Smolka |
Call-by-Value Lambda Calculus as a Model of Computation in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 393-413, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Barry Jay |
A simpler lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM@POPL ![In: Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019, pp. 1-9, 2019, ACM, 978-1-4503-6226-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Faggian, Simona Ronchi Della Rocca |
Lambda Calculus and Probabilistic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pp. 1-13, 2019, IEEE, 978-1-7281-3608-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Shin-ya Nishizaki |
ML Polymorphism of Linear Lambda Calculus with First-class Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSCA ![In: Proceedings of the 8th International Conference on Software and Computer Applications, ICSCA '19, Penang, Malaysia, February 19-21, 2019, pp. 189-193, 2019, ACM, 978-1-4503-6573-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 553-580, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ugo de'Liguoro, Riccardo Treglia |
Intersection Types for the Computational lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 184-189, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Andreas Abel 0001, Christian Sattler |
Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019., pp. 3:1-3:12, 2019, ACM, 978-1-4503-7249-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA., pp. 17:1-17:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-122-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
lambda!-calculus, Intersection Types, and Involutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany., pp. 15:1-15:16, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-107-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Maciej Bendkowski |
Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany., pp. 7:1-7:21, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-107-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany., pp. 26:1-26:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-107-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Beniamino Accattoli |
A Fresh Look at the lambda-Calculus (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany., pp. 1:1-1:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-107-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jan Sliacky, Petr Maj |
Lambdulus: teaching lambda calculus practically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH-E ![In: SPLASH-E '19 - Proceedings of the 2019 ACM SIGPLAN Workshop on SPLASH-E, Athens, Greece, October 25, 2019, pp. 57-65, 2019, ACM, 978-1-4503-6989-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | David Sherratt |
A lambda-calculus that achieves full laziness with spine duplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
20 | Barry Jay |
Self-Quotation in a Typed, Intensional Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018, pp. 207-222, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Mehrnoosh Sadrzadeh, Reinhard Muskens |
Static and dynamic vector semantics for lambda calculus models of natural language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lang. Model. ![In: J. Lang. Model. 6(2), pp. 319-351, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
Linear lambda-calculus and Reversible Automatic Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.06759, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Giulio Guerrieri |
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.10799, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Anton Salikhmetov |
Lambda Calculus with Explicit Read-back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.06351, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Mehrnoosh Sadrzadeh, Reinhard Muskens |
Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.11351, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Fabian Kunze, Gert Smolka, Yannick Forster 0002 |
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.03205, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Lukasz Czajka 0001 |
A new coinductive confluence proof for infinitary lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.05481, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Patrick Bahr |
Strict Ideal Completions of the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.06736, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.09787, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Giulio Guerrieri |
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 57-72, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018., pp. 27-41, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.09822, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Lukasz Lachowski |
On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 53, pp. 19-42, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca |
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 261, pp. 55-77, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 659-668, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Étienne Miquey, Hugo Herbelin |
Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 276-292, 2018, Springer, 978-3-319-89365-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 264-283, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 214-241, 2018, Springer, 978-3-319-89883-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Bahr |
Strict Ideal Completions of the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 8:1-8:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Clairambault, Hugo Paquet |
Fully Abstract Models of the Probabilistic lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 16:1-16:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017, pp. 79-95, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky |
Clocked lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(5), pp. 782-806, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | J. M. E. Hyland |
Classical lambda calculus in modern dress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(5), pp. 762-781, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Paula Severi, Fer-Jan de Vries |
The infinitary lambda calculus of the infinite eta Böhm trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(5), pp. 681-733, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ernesto Copello, Nora Szasz, Alvaro Tasistro |
Formal metatheory of the Lambda calculus using Stoughton's substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 685, pp. 65-82, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Kevin H. Xu |
A class of bounded functions, a database language and an extended lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 691, pp. 81-106, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro |
A lambda calculus for density matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.00097, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Artjoms Sinkarovs, Sven-Bodo Scholz |
A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.03832, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Ugo Dal Lago, Beniamino Accattoli |
Encoding Turing Machines into the Deterministic Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.10078, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|