Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Thomas Streicher |
A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(4), 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(4), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Pablo Arrighi, Gilles Dowek |
Lineal: A linear-algebraic Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(1), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Michael Rawson |
Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Antonio Bucciarelli, Delia Kesner, Daniel Ventura |
Non-idempotent intersection types for the Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 25(4), pp. 431-464, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Dirk Draheim |
Semantics of the Probabilistic Typed Lambda Calculus - Markov Chain Semantics, Termination Behavior, and Denotational Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 1-11, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Alessandra Di Pierro |
A Probabilistic Semantics for the Pure \lambda -Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, pp. 70-76, 2017, Springer, 978-3-319-67728-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | C.-H. Luke Ong |
Quantitative semantics of the lambda calculus: Some generalisations of the relational model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Shin-ya Nishizaki |
Linear lambda calculus with non-linear first-class continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSCA ![In: Proceedings of the 6th International Conference on Software and Computer Applications, ICSCA '17, Bangkok, Thailand, February 26-28, 2017, pp. 28-32, 2017, ACM, 978-1-4503-4857-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro |
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pp. 448-467, 2017, Springer, 978-3-319-71236-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | José Espírito Santo, Silvia Ghilezan |
Characterization of strong normalizability for a sequent lambda calculus with co-control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 163-174, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Yannick Forster 0002, Gert Smolka |
Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 189-206, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK, pp. 6:1-6:19, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-047-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Rick Statman |
On the Representation of Semigroups and Other Congruences in the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, MFPS 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016, pp. 299-304, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Takuya Ohata, Shin-ya Nishizaki |
Let-Binding with Regular Expressions in Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 11(2), pp. 220-229, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Kenta Cho 0002, Abraham Westerbaan |
Von Neumann Algebras form a Model for the Quantum Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.02133, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair |
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.03727, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 12(3), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro, Gilles Dowek |
Quantum superpositions and projective measurement in the lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.04294, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca |
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.07255, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Satoshi Matsuoka |
Strong Typed Boehm Theorem and Functional Completeness on the Linear Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016., pp. 1-22, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Luca Roversi |
A deep inference system with a self-dual binder which is complete for linear lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 26(2), pp. 677-698, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | David Sabel, Manfred Schmidt-Schauß |
A Call-by-Need Lambda Calculus with Scoped Work Decorations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016., pp. 70-90, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Hugh Leather, Janne Irgens |
The Lambda Calculus: Practice and Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A List of Successes That Can Change the World ![In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pp. 201-206, 2016, Springer, 978-3-319-30935-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Taichi Yachi, Eijiro Sumii |
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 171-186, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian |
Automatically Splitting a Two-Stage Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 255-281, 2016, Springer, 978-3-662-49497-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, pp. 33-46, 2016, ACM, 978-1-4503-4219-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Ryota Akiyoshi, Kazushige Terui |
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, pp. 5:1-5:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-010-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Pawel Parys, Szymon Torunczyk |
Models of Lambda-Calculus and the Weak MSO Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 11:1-11:12, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Fritz Müller 0001 |
On confluence and semantic full abstraction of lambda calculus languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015, pp. 109-124, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Adrian Rezus |
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(6), pp. 1319-1326, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Alexandre Lyaletsky |
Fundamental theorems of extensional untyped lambda-calculus revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. J. Moldova ![In: Comput. Sci. J. Moldova 23(2), pp. 153-164, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Raúl Rojas 0001 |
A Tutorial Introduction to the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.09060, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Stefan Milius, Thorsten Wißmann |
Finitary Corecursion for the Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.07736, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 11(1), 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.04634, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Katarzyna Grygiel, Pierre Lescanne |
Counting and Generating Terms in the Binary Lambda Calculus (Extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.05334, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Lukasz Czajka 0001 |
Coinductive Techniques in Infinitary Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.04354, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.08990, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | |
Simply Typed Lambda-Calculus Modulo Type Isomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.06125, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Katarzyna Grygiel, Pierre Lescanne |
Counting and generating terms in the binary lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 25, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Sylvain Salvati |
Lambda-calculus and formal language theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
20 | Satoshi Matsuoka |
A New Proof of P-time Completeness of Linear Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (short papers) ![In: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015., pp. 119-130, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Damiano Mazza, Luc Pellissier |
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 144-161, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Brian F. Redmond |
Polynomial Time in the Parametric Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 288-301, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca |
Standardization of a Call-By-Value Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 211-225, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Guillaume Munch-Maccagnoni, Gabriel Scherer |
Polarised Intermediate Representation of Lambda Calculus with Sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pp. 127-140, 2015, IEEE Computer Society, 978-1-4799-8875-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Kazunori Tobisawa |
A Meta Lambda Calculus with Cross-Level Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pp. 383-393, 2015, ACM, 978-1-4503-3300-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Marco Gaboardi, Romain Péchoux |
Algebras and coalgebras in the light affine Lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pp. 114-126, 2015, ACM, 978-1-4503-3669-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Giulio Guerrieri |
Head reduction and normalization in a call-by-value lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![In: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland, pp. 3-17, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Besik Dundua, Mário Florido, Temur Kutsia |
Lambda Calculus with Regular Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 129-136, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Milius, Thorsten Wißmann |
Finitary Corecursion for the Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 336-351, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Jeff Polakow |
Embedding a full linear Lambda calculus in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 177-188, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Frank Nebel |
Nominal lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
20 | Giordano Favro |
Algebraic structures for the lambda calculus and the propositional logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
20 | Alvaro Tasistro, Ernesto Copello, Nora Szasz |
Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014, pp. 215-230, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | George Philip Atzemoglou |
The dagger lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014., pp. 217-235, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Clemens Grabmayer, Jan Rochel |
Maximal Sharing in the Lambda Calculus with letrec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.1460, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Katarzyna Grygiel, Pierre Lescanne |
Counting Terms in the Binary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.0379, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.6298, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky |
An Introduction to the Clocked Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.7500, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Ryan Kavanagh, Jean-Marie Madiot |
On Coupled Logical Bisimulation for the Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.2833, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey |
Deriving interpretations of the gradually-typed lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 157-168, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Damiano Mazza |
Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, pp. 305-317, 2014, Springer, 978-3-662-43950-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Clemens Grabmayer, Jan Rochel |
Maximal sharing in the Lambda calculus with letrec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014, pp. 67-80, 2014, ACM, 978-1-4503-2873-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA-TLCA ![In: Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 379-394, 2014, Springer, 978-3-319-08917-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Rick Statman |
Near Semi-rings and Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA-TLCA ![In: Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 410-424, 2014, Springer, 978-3-319-08917-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Lukasz Czajka 0001 |
A Coinductive Confluence Proof for Infinitary Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA-TLCA ![In: Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, pp. 164-178, 2014, Springer, 978-3-319-08917-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, pp. 151-163, 2014, Springer, 978-3-662-44601-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Roy L. Crole, Frank Nebel |
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013, pp. 93-117, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Konstantinos Pouliasis, Giuseppe Primiero |
J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMLA@UNILOG ![In: Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013, pp. 71-87, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Marius Buliga |
Graphic Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 22(4), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Benoît Valiron |
A typed, algebraic, computational lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 23(2), pp. 504-554, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Marius Buliga |
Graphic lambda calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1305.5786, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Alberto Carraro, Antonino Salibra |
Ordered Models of the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 9(4), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Mary Southern, Gopalan Nadathur |
Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.8568, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron |
The Vectorial Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.1138, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Satoshi Matsuoka |
A New Proof of P-time Completeness of Linear Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.2763, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Marius Buliga |
On graphic lambda calculus and the dual of the graphic beta move ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1302.0778, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Clemens Grabmayer, Jan Rochel |
Expressibility in the Lambda Calculus with mu ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.6284, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Anton Salikhmetov |
Lambda Calculus Synopsis ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.0558, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 9(4), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Ján Janech, Stefan Toth |
Query Based Image Recognition System for the VANET Using Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud. Inform. Univ. ![In: Stud. Inform. Univ. 11(1), pp. 21-34, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Hendrik Pieter Barendregt, Wil Dekkers, Richard Statman |
Lambda Calculus with Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
20 | Tom Gundersen, Willem Heijltjes, Michel Parigot |
A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, pp. 340-354, 2013, Springer, 978-3-642-45220-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Flavien Breuvart |
The Resource Lambda Calculus Is Short-Sighted in Its Relational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 93-108, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Asperti, Jean-Jacques Lévy |
The Cost of Usage in the Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, pp. 293-300, 2013, IEEE Computer Society, 978-1-4799-0413-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Colin Stirling |
Proof Systems for Retracts in Simply Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, pp. 398-409, 2013, Springer, 978-3-642-39211-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Peter Chapman |
A Locally Nameless Visual Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 19th International Conference on Distributed Multimedia Systems, DMS 2013, August 8-10, 2013, Holiday Inn, Brighton, UK, pp. 188-193, 2013, Knowledge Systems Institute, 1-891706-34-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Clemens Grabmayer, Jan Rochel |
Expressibility in the Lambda Calculus with Mu. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands, pp. 206-222, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-53-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Manfred Schmidt-Schauß, Elena Machkasova, David Sabel |
Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands, pp. 239-254, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-53-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Kentaro Kikuchi |
Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy, pp. 395-414, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-60-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Rodrigo Machado |
An Introduction to Lambda Calculus and Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 26-33, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Robert John Henderson |
Cumulative learning in the lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
20 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop |
Highlights in infinitary rewriting and lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 464, pp. 48-71, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Ferruccio Guidi |
Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 5(1), pp. 1-25, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Marius Buliga |
Graphic lambda calculus and knot diagrams ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.1604, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Beniamino Accattoli |
Proof nets and the call-by-value lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 11-26, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|