Search results for "Lambda-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link
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