Search results for "Lambda-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Thomas Streicher	A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
20	Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
20	Pablo Arrighi, Gilles Dowek	Lineal: A linear-algebraic Lambda-calculus.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
20	Michael Rawson	Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed Lambda Calculus.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
20	Antonio Bucciarelli, Delia Kesner, Daniel Ventura	Non-idempotent intersection types for the Lambda-Calculus.	Log. J. IGPL	2017	DBLP DOI BibTeX RDF
20	Dirk Draheim	Semantics of the Probabilistic Typed Lambda Calculus - Markov Chain Semantics, Termination Behavior, and Denotational Semantics		2017	DOI RDF
20	Daniil Berezun, Neil D. Jones	Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper).	PEPM	2017	DBLP DOI BibTeX RDF
20	Alessandra Di Pierro	A Probabilistic Semantics for the Pure \lambda -Calculus.	ICTAC	2017	DBLP DOI BibTeX RDF
20	C.-H. Luke Ong	Quantitative semantics of the lambda calculus: Some generalisations of the relational model.	LICS	2017	DBLP DOI BibTeX RDF
20	Shin-ya Nishizaki	Linear lambda calculus with non-linear first-class continuations.	ICSCA	2017	DBLP DOI BibTeX RDF
20	Alejandro Díaz-Caro	A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls.	APLAS	2017	DBLP DOI BibTeX RDF
20	José Espírito Santo, Silvia Ghilezan	Characterization of strong normalizability for a sequent lambda calculus with co-control.	PPDP	2017	DBLP DOI BibTeX RDF
20	Yannick Forster 0002, Gert Smolka	Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq.	ITP	2017	DBLP DOI BibTeX RDF
20	Yohji Akama	The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type.	FSCD	2017	DBLP DOI BibTeX RDF
20	Rick Statman	On the Representation of Semigroups and Other Congruences in the Lambda Calculus.	MFPS	2016	DBLP DOI BibTeX RDF
20	Takuya Ohata, Shin-ya Nishizaki	Let-Binding with Regular Expressions in Lambda Calculus.	J. Softw.	2016	DBLP DOI BibTeX RDF
20	Kenta Cho 0002, Abraham Westerbaan	Von Neumann Algebras form a Model for the Quantum Lambda Calculus.	CoRR	2016	DBLP BibTeX RDF
20	Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair	Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus.	CoRR	2016	DBLP BibTeX RDF
20	Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal	The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
20	Alejandro Díaz-Caro, Gilles Dowek	Quantum superpositions and projective measurement in the lambda calculus.	CoRR	2016	DBLP BibTeX RDF
20	Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus.	CoRR	2016	DBLP BibTeX RDF
20	Satoshi Matsuoka	Strong Typed Boehm Theorem and Functional Completeness on the Linear Lambda Calculus.	MSFP	2016	DBLP DOI BibTeX RDF
20	Luca Roversi	A deep inference system with a self-dual binder which is complete for linear lambda calculus.	J. Log. Comput.	2016	DBLP DOI BibTeX RDF
20	David Sabel, Manfred Schmidt-Schauß	A Call-by-Need Lambda Calculus with Scoped Work Decorations.	Software Engineering (Workshops)	2016	DBLP BibTeX RDF
20	Hugh Leather, Janne Irgens	The Lambda Calculus: Practice and Principle.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
20	Taichi Yachi, Eijiro Sumii	A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc.	APLAS	2016	DBLP DOI BibTeX RDF
20	Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian	Automatically Splitting a Two-Stage Lambda Calculus.	ESOP	2016	DBLP DOI BibTeX RDF
20	Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon 0001, Marcin Szymczak 0002	A lambda-calculus foundation for universal probabilistic programming.	ICFP	2016	DBLP DOI BibTeX RDF
20	Ryota Akiyoshi, Kazushige Terui	Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule..	FSCD	2016	DBLP DOI BibTeX RDF
20	Pawel Parys, Szymon Torunczyk	Models of Lambda-Calculus and the Weak MSO Logic.	CSL	2016	DBLP DOI BibTeX RDF
20	Fritz Müller 0001	On confluence and semantic full abstraction of lambda calculus languages.		2016	RDF
20	Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández	Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.	LSFA	2015	DBLP DOI BibTeX RDF
20	Adrian Rezus	Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types.	Stud Logica	2015	DBLP DOI BibTeX RDF
20	Alexandre Lyaletsky	Fundamental theorems of extensional untyped lambda-calculus revisited.	Comput. Sci. J. Moldova	2015	DBLP BibTeX RDF
20	Raúl Rojas 0001	A Tutorial Introduction to the Lambda Calculus.	CoRR	2015	DBLP BibTeX RDF
20	Stefan Milius, Thorsten Wißmann	Finitary Corecursion for the Infinitary Lambda Calculus.	CoRR	2015	DBLP BibTeX RDF
20	Manfred Schmidt-Schauß, David Sabel, Elena Machkasova	Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
20	Danko Ilik, Zakaria Chihani	The Exp-Log Normal Form of Types and Canonical Terms for Lambda Calculus with Sums.	CoRR	2015	DBLP BibTeX RDF
20	Katarzyna Grygiel, Pierre Lescanne	Counting and Generating Terms in the Binary Lambda Calculus (Extended version).	CoRR	2015	DBLP BibTeX RDF
20	Lukasz Czajka 0001	Coinductive Techniques in Infinitary Lambda-Calculus.	CoRR	2015	DBLP BibTeX RDF
20	Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon 0001, Marcin Szymczak 0002	A Lambda-Calculus Foundation for Universal Probabilistic Programming.	CoRR	2015	DBLP BibTeX RDF
20		Simply Typed Lambda-Calculus Modulo Type Isomorphisms.	CoRR	2015	DBLP BibTeX RDF
20	Katarzyna Grygiel, Pierre Lescanne	Counting and generating terms in the binary lambda calculus.	J. Funct. Program.	2015	DBLP DOI BibTeX RDF
20	Sylvain Salvati	Lambda-calculus and formal language theory.		2015	RDF
20	Satoshi Matsuoka	A New Proof of P-time Completeness of Linear Lambda Calculus.	LPAR (short papers)	2015	DBLP DOI BibTeX RDF
20	Damiano Mazza, Luc Pellissier	A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic.	ICTAC	2015	DBLP DOI BibTeX RDF
20	Brian F. Redmond	Polynomial Time in the Parametric Lambda Calculus.	TLCA	2015	DBLP DOI BibTeX RDF
20	Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca	Standardization of a Call-By-Value Lambda-Calculus.	TLCA	2015	DBLP DOI BibTeX RDF
20	Guillaume Munch-Maccagnoni, Gabriel Scherer	Polarised Intermediate Representation of Lambda Calculus with Sums.	LICS	2015	DBLP DOI BibTeX RDF
20	Kazunori Tobisawa	A Meta Lambda Calculus with Cross-Level Computation.	POPL	2015	DBLP DOI BibTeX RDF
20	Marco Gaboardi, Romain Péchoux	Algebras and coalgebras in the light affine Lambda calculus.	ICFP	2015	DBLP DOI BibTeX RDF
20	Giulio Guerrieri	Head reduction and normalization in a call-by-value lambda-calculus.	WPTE@RDP	2015	DBLP DOI BibTeX RDF
20	Besik Dundua, Mário Florido, Temur Kutsia	Lambda Calculus with Regular Types.	SYNASC	2015	DBLP DOI BibTeX RDF
20	Stefan Milius, Thorsten Wißmann	Finitary Corecursion for the Infinitary Lambda Calculus.	CALCO	2015	DBLP DOI BibTeX RDF
20	Jeff Polakow	Embedding a full linear Lambda calculus in Haskell.	Haskell	2015	DBLP DOI BibTeX RDF
20	Frank Nebel	Nominal lambda calculus.		2015	RDF
20	Giordano Favro	Algebraic structures for the lambda calculus and the propositional logic.		2015	RDF
20	Alvaro Tasistro, Ernesto Copello, Nora Szasz	Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus.	LSFA	2014	DBLP DOI BibTeX RDF
20	George Philip Atzemoglou	The dagger lambda calculus.	QPL	2014	DBLP DOI BibTeX RDF
20	Clemens Grabmayer, Jan Rochel	Maximal Sharing in the Lambda Calculus with letrec.	CoRR	2014	DBLP BibTeX RDF
20	Katarzyna Grygiel, Pierre Lescanne	Counting Terms in the Binary Lambda Calculus.	CoRR	2014	DBLP BibTeX RDF
20	Erika De Benedetti, Simona Ronchi Della Rocca	A type assignment for lambda-calculus complete both for FPTIME and strong normalization.	CoRR	2014	DBLP BibTeX RDF
20	Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky	An Introduction to the Clocked Lambda Calculus.	CoRR	2014	DBLP BibTeX RDF
20	Ryan Kavanagh, Jean-Marie Madiot	On Coupled Logical Bisimulation for the Lambda-Calculus.	CoRR	2014	DBLP BibTeX RDF
20	Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey	Deriving interpretations of the gradually-typed lambda calculus.	PEPM	2014	DBLP DOI BibTeX RDF
20	Damiano Mazza	Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus.	ICALP (2)	2014	DBLP DOI BibTeX RDF
20	Clemens Grabmayer, Jan Rochel	Maximal sharing in the Lambda calculus with letrec.	ICFP	2014	DBLP DOI BibTeX RDF
20	Manfred Schmidt-Schauß, David Sabel	Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
20	Rick Statman	Near Semi-rings and Lambda Calculus.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
20	Lukasz Czajka 0001	A Coinductive Confluence Proof for Infinitary Lambda-Calculus.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
20	Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca	Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus.	IFIP TCS	2014	DBLP DOI BibTeX RDF
20	Roy L. Crole, Frank Nebel	Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories.	MFPS	2013	DBLP DOI BibTeX RDF
20	Konstantinos Pouliasis, Giuseppe Primiero	J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic.	IMLA@UNILOG	2013	DBLP DOI BibTeX RDF
20	Marius Buliga	Graphic Lambda Calculus.	Complex Syst.	2013	DBLP DOI BibTeX RDF
20	Benoît Valiron	A typed, algebraic, computational lambda-calculus.	Math. Struct. Comput. Sci.	2013	DBLP DOI BibTeX RDF
20	Marius Buliga	Graphic lambda calculus	CoRR	2013	DBLP BibTeX RDF
20	Alberto Carraro, Antonino Salibra	Ordered Models of the Lambda Calculus.	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
20	Mary Southern, Gopalan Nadathur	Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form.	CoRR	2013	DBLP BibTeX RDF
20	Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron	The Vectorial Lambda-Calculus.	CoRR	2013	DBLP BibTeX RDF
20	Satoshi Matsuoka	A New Proof of P-time Completeness of Linear Lambda Calculus	CoRR	2013	DBLP BibTeX RDF
20	Marius Buliga	On graphic lambda calculus and the dual of the graphic beta move	CoRR	2013	DBLP BibTeX RDF
20	Clemens Grabmayer, Jan Rochel	Expressibility in the Lambda Calculus with mu	CoRR	2013	DBLP BibTeX RDF
20	Anton Salikhmetov	Lambda Calculus Synopsis	CoRR	2013	DBLP BibTeX RDF
20	Alexander Kurz 0001, Daniela Petrisan, Paula Severi, Fer-Jan de Vries	Nominal Coalgebraic Data Types with Applications to Lambda Calculus.	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
20	Ján Janech, Stefan Toth	Query Based Image Recognition System for the VANET Using Lambda Calculus.	Stud. Inform. Univ.	2013	DBLP BibTeX RDF
20	Hendrik Pieter Barendregt, Wil Dekkers, Richard Statman	Lambda Calculus with Types.		2013	RDF
20	Tom Gundersen, Willem Heijltjes, Michel Parigot	A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus.	LPAR	2013	DBLP DOI BibTeX RDF
20	Flavien Breuvart	The Resource Lambda Calculus Is Short-Sighted in Its Relational Model.	TLCA	2013	DBLP DOI BibTeX RDF
20	Andrea Asperti, Jean-Jacques Lévy	The Cost of Usage in the Lambda-Calculus.	LICS	2013	DBLP DOI BibTeX RDF
20	Colin Stirling	Proof Systems for Retracts in Simply Typed Lambda Calculus.	ICALP (2)	2013	DBLP DOI BibTeX RDF
20	Peter Chapman	A Locally Nameless Visual Lambda-calculus.	DMS	2013	DBLP BibTeX RDF
20	Clemens Grabmayer, Jan Rochel	Expressibility in the Lambda Calculus with Mu.	RTA	2013	DBLP DOI BibTeX RDF
20	Manfred Schmidt-Schauß, Elena Machkasova, David Sabel	Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings.	RTA	2013	DBLP DOI BibTeX RDF
20	Kentaro Kikuchi	Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus.	CSL	2013	DBLP DOI BibTeX RDF
20	Rodrigo Machado	An Introduction to Lambda Calculus and Functional Programming.	WEIT	2013	DBLP DOI BibTeX RDF
20	Robert John Henderson	Cumulative learning in the lambda calculus.		2013	RDF
20	Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop	Highlights in infinitary rewriting and lambda calculus.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
20	Ferruccio Guidi	Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover.	J. Formaliz. Reason.	2012	DBLP DOI BibTeX RDF
20	Marius Buliga	Graphic lambda calculus and knot diagrams	CoRR	2012	DBLP BibTeX RDF
20	Beniamino Accattoli	Proof nets and the call-by-value lambda-calculus	LSFA	2012	DBLP DOI BibTeX RDF