Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Ugo Dal Lago, Simone Martini 0001 |
On Constructor Rewrite Systems and the Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(3), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Barbara Petit |
A Categorical Model for the Lambda Calculus with Constructors ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1202.4678, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Marius Buliga |
Local and global moves on locally planar trivalent graphs, lambda calculus and $λ$-Scale ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.0332, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Clemens Grabmayer, Jan Rochel |
Expressibility in the Lambda Calculus with Letrec ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1208.2383, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Marius Buliga |
$λ$-Scale, a lambda calculus for spaces with dilations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.0139, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli |
Standardization in resource lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 1-11, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Pablo Arrighi, Alejandro Díaz-Caro |
Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(1), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Anton Salikhmetov |
A recursive normalizing one-step reduction strategy for the distributive lambda calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.3158, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Stephen Chang 0001, Matthias Felleisen |
The Call-by-need Lambda Calculus, Revisited ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1201.3907, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Flavien Breuvart |
On the discriminating power of tests in resource lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.4691, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Robbert Krebbers |
A call-by-value lambda-calculus with lists and control ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![In: Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012., pp. 19-33, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Beniamino Accattoli, Delia Kesner |
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(1), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto |
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(4), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Norihiro Kamide |
Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 47, pp. 29-61, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Ugo Dal Lago, Margherita Zorzi |
Probabilistic operational semantics for the lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 46(3), pp. 413-450, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Kurz 0001, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, pp. 130-149, 2012, Springer, 978-3-642-32783-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Dana S. Scott |
Lambda Calculus Then and Now. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 9:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Jan Willem Klop |
Term Rewriting and Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012, pp. 12, 2012, IEEE Computer Society, 978-1-4673-2263-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Stephen Chang 0001, Matthias Felleisen |
The Call-by-Need Lambda Calculus, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, pp. 128-147, 2012, Springer, 978-3-642-28868-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Shin-ya Nishizaki, Mizuki Fujii |
Strong Reduction for Typed Lambda Calculus with First-Class Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICA (LNCS) ![In: Information Computing and Applications - Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, pp. 632-639, 2012, Springer, 978-3-642-34061-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Jeremy G. Siek, Ronald Garcia |
Interpretations of the gradually-typed lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scheme@ICFP ![In: Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012, pp. 68-80, 2012, ACM, 978-1-4503-1895-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Sheng Chen 0008, Martin Erwig, Eric Walkingshaw |
An error-tolerant type system for variational lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012, pp. 29-40, 2012, ACM, 978-1-4503-1054-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Luminous Fennell, Peter Thiemann 0001 |
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers, pp. 37-52, 2012, Springer, 978-3-642-40446-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Yoichi Hirai |
A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 151-165, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Kazushige Terui |
Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 323-338, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Carraro, Antonino Salibra |
On the equational consistency of order-theoretic models of the lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, pp. 152-166, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-42-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Tranquilli |
Intuitionistic differential nets and lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(20), pp. 1979-1997, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Ugo Dal Lago, Margherita Zorzi |
Probabilistic Operational Semantics for the Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.0195, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Barbara Petit |
Semantics of Typed Lambda-Calculus with Constructors ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 7(1), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Murdoch James Gabbay, Dominic P. Mulligan |
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011., pp. 58-75, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Jan Rochel, Clemens Grabmayer |
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH ![In: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., pp. 85-100, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Benedikt Meurer |
A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1105.1985, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
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/1109.4353, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Steffen van Bakel |
Strict intersection types for the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 43(3), pp. 20:1-20:49, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca |
Extending the lambda-calculus with unbind and rebind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 45(1), pp. 143-162, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Baojian Hua |
Static typing for a substructural lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 5(3), pp. 369-380, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Peter Gammie |
Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 21(1), pp. 115-117, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Paula Severi, Fer-Jan de Vries |
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings, pp. 210-227, 2011, Springer, 978-3-642-20919-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Luca Roversi |
Linear Lambda Calculus and Deep Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 184-197, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Giulio Manzonetto, Michele Pagani |
Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 153-168, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Conrad Rau, Manfred Schmidt-Schauß |
A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011., pp. 35-41, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Vojtech Merunka |
Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EOMAS ![In: Enterprise and Organizational Modeling and Simulation - 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers, pp. 145-158, 2011, Springer, 978-3-642-24174-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Guenot |
Nested proof search as reduction in the Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 183-194, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
Linearity and recursion in a typed Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 173-182, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Wei Lu 0011, Hwee Tou Ng |
A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing, EMNLP 2011, 27-31 July 2011, John McIntyre Conference Centre, Edinburgh, UK, A meeting of SIGDAT, a Special Interest Group of the ACL, pp. 1611-1622, 2011, ACL, 978-1-937284-11-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Paula Severi, Fer-Jan de Vries |
Weakening the Axiom of Overlap in Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 313-328, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen |
Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 61-70, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Ehrhard |
Resource Lambda-Calculus: the Differential Viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings, pp. 1, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-32-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Patry Zadarnowski |
C, Lambda Calculus and Compiler Verification - a study in Haskell of purely-functional techniques for a formal specification of imperative programming languages and an epistemically-sound verification of their compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
20 | Andres Löh, Conor McBride, Wouter Swierstra |
A Tutorial Implementation of a Dependently Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 102(2), pp. 177-207, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI 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) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(37), pp. 3301-3327, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Eijiro Sumii |
A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(51-52), pp. 4358-4378, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Marie Ferbus-Zanda, Serge Grigorieff |
ASMs and Operational Algorithmic Completeness of Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.2597, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Anders Schack-Nielsen, Carsten Schürmann |
Pattern Unification for the Lambda Calculus with Linear and Affine Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010., pp. 101-116, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Luca Roversi |
Linear lambda calculus with explicit substitutions as proof-search in Deep Inference ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1011.3668, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Alejandro Díaz-Caro, Barbara Petit |
Sums in linear algebraic lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1011.3542, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Anton Salikhmetov |
Uniform Memory and Serialization for Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1011.4330, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Benoît Valiron |
Semantics of a Typed Algebraic Lambda-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 147-158, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Paul Taylor |
A lambda calculus for real analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Anal. ![In: J. Log. Anal. 2, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Giulio Manzonetto, Antonino Salibra |
Applying Universal Algebra to Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 20(4), pp. 877-915, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Murdoch James Gabbay, Aad Mathijssen |
A Nominal Axiomatization of the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 20(2), pp. 501-531, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Masahiko Sato 0001, Randy Pollack |
External and internal syntax of the lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 45(5), pp. 598-616, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Daniel J. Dougherty, Luigi Liquori |
Logic and Computation in a Lambda Calculus with Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Dakar) ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, pp. 173-191, 2010, Springer, 978-3-642-17510-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Marie Ferbus-Zanda, Serge Grigorieff |
ASMs and Operational Algorithmic Completeness of Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fields of Logic and Computation ![In: Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, pp. 301-327, 2010, Springer, 978-3-642-15024-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Michele Pagani, Simona Ronchi Della Rocca |
Solvability in Resource Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, pp. 358-373, 2010, Springer, 978-3-642-12031-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jianzhou Zhao, Qi Zhang, Steve Zdancewic |
Relational Parametricity for a Polymorphic Linear Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings, pp. 344-359, 2010, Springer, 978-3-642-17163-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Zachary Snow |
Realizing the Dependently Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK, pp. 294-299, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-17-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Anders Schack-Nielsen, Carsten Schürmann 0001 |
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings, pp. 1-14, 2010, Springer, 978-3-642-14202-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jeroen Ketema, Jakob Grue Simonsen |
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, pp. 272-287, 2010, Springer, 978-3-642-12250-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Manfred Schmidt-Schauß, David Sabel, Elena Machkasova |
Simulation in the Call-by-Need Lambda-Calculus with letrec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 295-310, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Beniamino Accattoli, Delia Kesner |
The Structural lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings, pp. 381-395, 2010, Springer, 978-3-642-15204-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Lars Birkedal, Jan Schwinghammer, Kristian Støvring |
A Metric Model of Lambda Calculus with Guarded Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 19-25, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
20 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
Confluence Results for a Quantum Lambda Calculus with Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL@MFPS ![In: Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009, pp. 251-261, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn |
Lambda calculus as a workflow model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 21(16), pp. 1999-2017, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Lionel Vaux |
The algebraic lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 19(5), pp. 1029-1059, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
On a measurement-free quantum lambda calculus with classical control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 19(2), pp. 297-335, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Loïc Colson, David Michel 0001 |
Pedagogical second-order lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 410(42), pp. 4190-4203, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | José Espírito Santo |
The lambda-Calculus and the Unity of Structural Proof Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(4), pp. 963-994, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ugo Dal Lago, Simone Martini 0001 |
On Constructor Rewrite Systems and the Lambda-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0904.4120, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Giulio Manzonetto |
Models and theories of lambda calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0904.4756, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
RPO, Second-order Contexts, and Lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 5(3), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi |
Confluence Results for a Quantum Lambda Calculus with Measurements ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0905.4567, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Pierre Hyvernat |
Synchronous Games, Simulations and lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0905.4066, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | William Blum, C.-H. Luke Ong |
The Safe Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 5(1), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
20 | Marco Gaboardi, Mauro Piccolo |
Categorical Models for a Semantically Linear Lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 1-13, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Femke van Raamsdonk |
Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN 9780521898850. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 9(2), pp. 239-243, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ariel Arbiser, Alexandre Miquel, Alejandro Ríos 0001 |
The lambda-calculus with constructors: Syntax, confluence and separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 19(5), pp. 581-631, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Henk Barendregt, Jan Willem Klop |
Applications of infinitary lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 207(5), pp. 559-582, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Furio Honsell, Gordon D. Plotkin |
On the completeness of order-theoretic models of the lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 207(5), pp. 583-594, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Baillot, Kazushige Terui |
Light types for polynomial time computation in lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 207(1), pp. 41-62, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Felice Cardone, J. Roger Hindley |
Lambda-Calculus and Combinators in the 20th Century. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic from Russell to Church ![In: Logic from Russell to Church, pp. 723-817, 2009, Elsevier, 978-0-444-51620-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Sylvain Salvati |
Recognizability in the Simply Typed Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 48-60, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Hugo Herbelin, Stéphane Zimmermann |
An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 142-156, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Michele Pagani, Paolo Tranquilli |
Parallel Reduction in Resource Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 226-242, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
A Relational Model of a Parallel and Non-deterministic lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 107-121, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
denotational semantics, relational model, ?-calculus, non-determinism, parallel composition |
20 | Eijiro Sumii |
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 455-469, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | William Blum |
The safe lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
20 | Mariangiola Dezani-Ciancaglini, J. Roger Hindley |
Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wiley Encyclopedia of Computer Science and Engineering ![In: Wiley Encyclopedia of Computer Science and Engineering, 2008, John Wiley & Sons, Inc.. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | David Ruiz 0003, Mateu Villaret |
TILC: The Interactive Lambda-Calculus Tracer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 173-183, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Christian Urban, Julien Narboux |
Formal SOS-Proofs for the Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 139-155, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|