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