Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Murdoch James Gabbay, Dominic P. Mulligan |
Two-level Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 107-129, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | David Sabel, Manfred Schmidt-Schauß |
A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 18(3), pp. 501-553, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer |
Lambda calculus with patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 398(1-3), pp. 16-31, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ugo Dal Lago, Simone Martini 0001 |
The weak lambda calculus as a reasonable machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 398(1-3), pp. 32-50, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 398(1-3), pp. 114-128, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Viviana Bono, Betti Venneri, Lorenzo Bettini |
A typed lambda calculus with intersection types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 398(1-3), pp. 95-113, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Peter Selinger |
Lecture notes on the lambda calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0804.3434, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Peter Selinger, Benoît Valiron |
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.0813, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Naokata Shikuma, Atsushi Igarashi |
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0808.3307, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Stéphane Lengrand |
Termination of lambda-calculus with the extra Call-By-Value rule known as assoc ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0806.4859, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Neil D. Jones, Nina Bohr |
Call-by-value Termination in the Untyped Lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.0882, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Fritz Müller 0001 |
Full Abstraction for a Recursively Typed Lambda Calculus with Parallel Conditional ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0806.1827, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca |
Light Logics and the Call-by-Value Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0809.0195, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Zhaohua Luo |
Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0810.3162, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Neil D. Jones, Nina Bohr |
Call-by-Value Termination in the Untyped lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 4(1), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Naokata Shikuma, Atsushi Igarashi |
Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 4(3), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca |
Light Logics and the Call-by-Value Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 4(4), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | J. Roger Hindley |
M. H. Newman's Typability Algorithm for Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 18(2), pp. 229-238, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Chris Fox, Maribel Fernández, Shalom Lappin |
Lambda Calculus, Type Theory, and Natural Language II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 18(2), pp. 203, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | David Sabel |
Semantics of a call-by-need lambda calculus with McCarthy's amb for programm equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
20 | Ralph Matthes |
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, pp. 220-242, 2008, Springer, 978-3-540-70593-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Daisuke Bekki |
Monads and Meta-lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers, pp. 193-208, 2008, Springer, 978-3-642-00608-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
RPO, Second-Order Contexts, and lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 334-349, 2008, Springer, 978-3-540-78497-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Marco Gaboardi, Simona Ronchi Della Rocca |
Type Inference for a Polynomial Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 136-152, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Chitta Baral, Juraj Dzifcak, Tran Cao Son |
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008, pp. 818-823, 2008, AAAI Press, 978-1-57735-368-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | David Sabel |
Semantik eines verzögert auswertenden Lambdakalküls mit McCarthy's amb für Programmäquivalenz [Semantics of a Call-by-Need Lambda Calculus with McCarthy's Amb for Program Equivalence]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2008, pp. 221-230, 2008, GI, 978-3-88579-413-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Pablo Arrighi, Gilles Dowek |
Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 17-31, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Giulio Manzonetto |
Models and theories of lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
20 | Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer |
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS 2007, New Orleans, LA, USA, April 11-14, 2007, pp. 313-337, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Marie-Renée Fleury, Myriam Quatrini |
A Mixed lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(2-3), pp. 269-294, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization |
20 | André Hirschowitz, Marco Maggesi |
The algebraicity of the lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0704.2900, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Zhaohua Luo |
Clones and Genoids in Lambda Calculus and First Order Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0712.3088, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Mateusz Zakrzewski |
Definable functions in the simply typed lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0701022, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Roy Dyckhoff, Stéphane Lengrand |
Call-by-Value lambda-calculus and LJQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 17(6), pp. 1109-1134, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Pierluigi Minari |
Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(5-6), pp. 385-424, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B40, 03F03, 03F07, 03F05 |
20 | Delia Kesner, Stéphane Lengrand |
Resource operators for lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 205(4), pp. 419-473, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | René David, Karim Nour |
An Arithmetical Proof of the Strong Normalization for the lambda -Calculus with Recursive Equations on Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 84-101, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Chet Murthy |
Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 263-264, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
transaction processing, functional languages, enterprise software |
20 | Mitsuhiro Okada, Ryo Takemura |
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rewriting, Computation and Proof ![In: Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, pp. 167-181, 2007, Springer, 978-3-540-73146-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Werner E. Kluge |
Abstract lambda-Calculus Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 112-157, 2007, Springer, 978-3-540-88058-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Marco Gaboardi, Simona Ronchi Della Rocca |
A Soft Type Assignment System for lambda -Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 253-267, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya |
An AOP Extended Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 183-194, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Yuk Wah Wong, Raymond J. Mooney |
Learning Synchronous Grammars for Semantic Parsing with Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: ACL 2007, Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics, June 23-30, 2007, Prague, Czech Republic, 2007, The Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Andreas Abel 0001 |
Type-based termination: a polymorphic lambda-calculus with sized higher-order types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
20 | Nikolaos Siafakas |
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 111-126, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Donnelly, Hongwei Xi |
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FLoC ![In: Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 109-125, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Peter Selinger, Benoît Valiron |
A lambda calculus for quantum computation with classical control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 16(3), pp. 527-552, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Chantal Berline |
Graph models of lambda-calculus at work, and variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 16(2), pp. 185-221, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Lutz Schröder |
The HASCASL prologue: Categorical syntax and semantics of the partial lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 353(1-3), pp. 1-25, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Joachim Niehren, Jan Schwinghammer, Gert Smolka |
A concurrent lambda calculus with futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 364(3), pp. 338-356, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Baillot, Marco Pedicini |
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0608040, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Pablo Arrighi, Gilles Dowek |
Lineal: A linear-algebraic Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/quant-ph/0612199, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the confluence of lambda-calculus with conditional rewriting ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0609002, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Kristian Støvring |
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 2(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Michael Norrish |
Mechanising lambda-calculus using a classical first order theory of terms with permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(2-3), pp. 169-195, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | John Tromp |
Binary Lambda Calculus and Combinatory Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kolmogorov Complexity and Applications ![In: Kolmogorov Complexity and Applications, 29.01. - 03.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the Confluence of lambda-Calculus with Conditional Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, pp. 382-397, 2006, Springer, 3-540-33045-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Naokata Shikuma, Atsushi Igarashi |
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, pp. 301-315, 2006, Springer, 978-3-540-77504-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Sylvain Salvati |
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 151-165, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ariel Arbiser, Alexandre Miquel, Alejandro Ríos 0001 |
A Lambda-Calculus with Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 181-196, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Coppola 0001, Simona Ronchi Della Rocca |
Principal Typing for Lambda Calculus in Elementary Affine Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 65(1-2), pp. 87-112, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen |
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005, pp. 191-217, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Hongwei Xi |
Development Separation in Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Proceedings of the 12th Workshop on Logic, Language, Information and Computation, WoLLIC 2005, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005, pp. 207-221, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Maribel Fernández, Ian Mackie, François-Régis Sinot |
Lambda-Calculus with Director Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 15(6), pp. 393-437, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Director Strings, Strategies, Calculus, Explicit Substitutions |
20 | Sandra Alves, Mário Florido |
Weak linearization of the lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 342(1), pp. 79-103, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ugo Dal Lago, Simone Martini 0001 |
An Invariant Cost Model for the Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0511045, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Benedetto Intrigila, Richard Statman |
Some results on extensionality in lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 132(2-3), pp. 109-125, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Klaus Aehlig, Felix Joachimski |
Continuous normalization for the lambda-calculus and Gödel's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 133(1-3), pp. 39-71, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic /lambda-calculus and Quantitative Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 15(2), pp. 159-179, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | René David, Georges Mounier |
An intuitionistic [lambda]-calculus with exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 15(1), pp. 33-52, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Werner E. Kluge |
Abstract Computing Machines - A Lambda Calculus Perspective ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
DOI RDF |
|
20 | Ian Mackie |
Encoding Strategies in the Lambda Calculus with Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 19-36, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Hyvernat |
Synchronous games, simulations and lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 1-15, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Thierry Coquand |
Completeness Theorems and lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 1-9, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Paul Taylor 0002 |
A Lambda Calculus for Real Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan, pp. 227-266, 2005, FernUniversität Hagen, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget |
Sharing in the Weak Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 70-87, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Lars Kristiansen, Mathias Barra |
The Small Grzegorczyk Classes and the Typed lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings, pp. 252-262, 2005, Springer, 3-540-26179-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Mann 0001 |
A non-deterministic call-by-need lambda calculus: proving similarity a precongruence by an extension of Howe's method to sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
20 | Chris Hankin, Herbert Wiklicky |
lambda-calculus and Quantitative Program Analysis: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, QAPL 2004, Barcelona, Spain, March 27-28, 2004, pp. 5-18, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Abel 0001 |
Normalization for the Simply-Typed Lambda-Calculus in Twelf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFM@IJCAR ![In: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004, pp. 3-16, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Daniel de Carvalho |
Intersection Types for Light Affine Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, pp. 133-152, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Mann 0001 |
Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@CONCUR ![In: Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004, pp. 81-101, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Felix Joachimski |
Confluence of the coinductive [lambda]-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 311(1-3), pp. 105-119, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Baillot, Kazushige Terui |
Light types for polynomial time computation in lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0402059, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Marco Pedicini, Francesco Quaglia |
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0407055, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Harry G. Mairson |
Linear lambda calculus and PTIME-completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 14(6), pp. 623-633, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Mário Florido, Luís Damas |
Linearization of the lambda-calculus and its relation with intersection type systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 14(5), pp. 519-546, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Luca Paolini, Simona Ronchi Della Rocca |
Parametric parameter passing Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 189(1), pp. 87-106, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | André van Tonder |
A Lambda Calculus for Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 33(5), pp. 1109-1135, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Simona Ronchi Della Rocca, Luca Paolini |
The Parametric Lambda Calculus - A Metamodel for Computation ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
DOI RDF |
|
20 | Tom Murphy VII, Karl Crary, Robert Harper 0001, Frank Pfenning |
A Symmetric Modal Lambda Calculus for Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 286-295, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Robert Atkey |
A lambda-Calculus for Resource Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 158-170, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | James Larkin, Phil Stocks |
Self-Replicating Expressions in the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004, pp. 167-173, 2004, Australian Computer Society, 1-920682-05-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Philippe de Groote, Sylvain Salvati |
Higher-Order Matching in the Linear lambda-calculus with Pairing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 220-234, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Lutz Schröder |
The Logic of the Partial lambda-Calculus with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 385-399, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Momigliano, Frank Pfenning |
Higher-order pattern complement and the strict lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(4), pp. 493-529, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
higher-order patterns, strict ?-calculus, Complement |
20 | Thomas Ehrhard, Laurent Regnier |
The differential lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 309(1-3), pp. 1-41, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries |
Infinitary lambda calculus and discrimination of Berarducci trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 298(2), pp. 275-302, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | André van Tonder |
A Lambda Calculus for Quantum Computation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR quant-ph/0307150, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
20 | Patrick Baillot, Virgile Mogbil |
Soft lambda-calculus: a language for polynomial time computation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0312015, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|